Вы здесь

Главная

Kirchner C.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
П Order-Sorted Equational Unification 1990 Kirchner C. INRIA 21.02.1991
СТ Sort Inheritance for Order-Sorted Equational Presentations 1995 Hintermeier C., Kirchner C., Kirchner H. Lecture Notes in Computer Science 24.05.1995
СТ 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
П Higher Order Unification via Explicit Substations 1995 Dowek G., Hardin T., Kirchner C. INRIA 09.04.1998
СТ 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
СТ 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

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ 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
СБ 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, 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
СБ 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
СБ 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