Вы здесь

Kirchner C.

Автор:

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