Вы здесь

Kirchner H.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
П Completion of a Set of Rules Modulo a Set of Equations 1984 Jouannaud J. -P., Kirchner H. Centre de Recherche en Informatique de Nancy 18.12.1999
СТ Algebraic Specifications, Higher-Order Types, and Set-Theoretic Models 1999 Kirchner H., Mosses P. D. Lecture Notes in Computer Science 05.02.1999
СТ A Compiler for Rewrite Programs in Associative-Communicative Theories 1998 Moreau P. -E., Kirchner H. Lecture Notes in Computer Science 13.10.1998
СТ Combining Symbolic Constraint Solvers on Algebraic Domains 1994 Kirchner H., Ringeissen 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
СТ 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
СТ Some Extensions of Rewriting 1995 Kirchner H. Lecture Notes in Computer Science 15.06.1995
СТ Sort Inheritance for Order-Sorted Equational Presentations 1995 Hintermeier C., Kirchner C., Kirchner H. Lecture Notes in Computer Science 24.05.1995
СТ Prototyping Completion with Constraints Using Computational Systems 1995 Kirchner H., Moreau P. -E. Lecture Notes in Computer Science 28.04.1995
СТ On the Use of Constraints in Automated Deduction 1995 Kirchner H. Lecture Notes in Computer Science 19.04.1995
СТ A Constraint Solver in Finite Algebras and its Combination with Unification Algorithms 1992 Kirchner H., Ringeissen C. Logic Programming: Proc./ Joint Intern. Conf. and Symp. on Logic Programming 19.12.1994