СТ |
Specifications of Inference Rules and Their Automatic Translation |
1995 |
Neugebauer G., Petermann U. |
|
|
|
Lecture Notes in Artificial Intelligence |
02.06.1995 |
СТ |
Rigid Unification by Completion and Rigid Paramodulation |
1994 |
Becher G., Petermann U. |
|
|
|
Lecture Notes in Artificial Intelligence |
21.10.1994 |
СТ |
Completeness of the Pool Calculus with an Open Built-in Theory |
1993 |
Petermann U. |
|
|
|
Lecture Notes in Computer Science |
21.09.1993 |
СТ |
A Complete Connection Calculus with Rigid E-Unification |
1994 |
Petermann U. |
|
|
|
Lecture Notes in Artificial Intelligence |
28.10.1994 |