П |
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 |