Вы здесь

Главная

Kirchner C.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ HOL- : An Intentional First-Order Expression of Higher-Order Logic 1999 Dowek G., Hardin T., Kirchner C. Lecture Notes in Computer Science 15.07.1999
СТ AC-Unification Race: The System Solving Approach, Implementation and Benchmarks 1992 Adi M., Kirchner C. J. Symbolic Computation 09.04.1998
П Dynamically-Typed Computations for Order-Sorted Equational Presentations 1994 Hintermeier C., Kirchner C., Kirchner H. INRIA Computer 09.04.1998
П Higher Order Unification via Explicit Substations 1995 Dowek G., Hardin T., Kirchner C. INRIA 09.04.1998
СТ OBJ: Programming with Equalities, Subsorts, Overloading and Parameterization 1988 Jouannaud J. -P., Kirchner C., Kirchner H., Megrelis A. Mathematical Research Algebraic and Logic Programming 30.06.1995
СТ Sort Inheritance for Order-Sorted Equational Presentations 1995 Hintermeier C., Kirchner C., Kirchner H. Lecture Notes in Computer Science 24.05.1995
П Order-Sorted Equational Unification 1990 Kirchner C. INRIA 21.02.1991

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ Automata, Languages and Programming, Part I: 37th International Colloquium, ICALP 2010, Bordeaux, France, July 2010 2010 Lecture Notes in Computer Science
  1. Abramsky S.
  2. Gavoille C.
  3. Kirchner C.
  4. Spirakis P. G.
 13.08.2010
СБ Automata, Languages and Programming, Part II: Proc./37th International Colloquium, ICALP 2010, Bordeaux, France, July 2010 2010 Lecture Notes in Computer Science
  1. Abramsky S.
  2. Gavoille C.
  3. Kirchner C.
  4. Spirakis P. G.
 13.08.2010
СБ Rewriting, Computation, and Proof: Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthday 2007 Lecture Notes in Computer Science
  1. Comon-Lundh H.
  2. Kirchner C.
  3. Kirchner H.
 18.09.2007
СБ Automated Deduction - CADE-15: Proc./15th Intern. Conf. on Automated Deduction. Lindau, Germany, July 1998 1998 Lecture Notes in Artificial Intelligence
  1. Kirchner C.
  2. Kirchner H.
 17.07.1998
СБ Rewriting Techniques and Applications: Proc./5th Intern. Conf., RTA-93. Montreal, Canada, June 1993 1993 Lecture Notes in Computer Science
  1. Kirchner C.
 08.07.1993