|
СТ |
Generalized Boxings, Congruences and Partial Inlining |
1994 |
Goubault J. |
|
|
|
Lecture Notes in Computer Science |
24.11.1994 |
|
СТ |
BDDs and Automated Deduction |
1994 |
Goubault J., Posegga J. |
|
|
|
Lecture Notes in Artificial Intelligence |
16.11.1994 |
|
СТ |
Higher-Order Rigid E-Unification |
1994 |
Goubault J. |
|
|
|
Lecture Notes in Artificial Intelligence |
04.08.1994 |
|
СТ |
The Complexity of Resource-Bounded First-Order Classical Logic |
1994 |
Goubault J. |
|
|
|
Lecture Notes in Computer Science |
26.03.1994 |
|
СТ |
A Rule-based Algorithm for Rigid E-unification |
1993 |
Goubault J. |
|
|
|
Lecture Notes in Computer Science |
21.09.1993 |
|
СТ |
Captures de Continuations dans un Systeme Distribue: un Dialogue Client/Serveur Symbolique |
1992 |
Goubault J. |
|
|
|
BIGRE |
31.03.1992 |
