|
СТ |
On the Expressive Power of Rewriting |
1997 |
Marchiori M. |
|
|
|
Lecture Notes in Computer Science |
09.01.1998 |
|
СТ |
Localizations of Unification Freedom through Matching Directions |
1994 |
Marchiori M. |
|
|
|
Logic Programming. Proc. of the 1994 Intern. Symp. |
31.01.1996 |
|
СТ |
On Termination of Constraint Logic Programs |
1995 |
Colussi L., Marchiori E., Marchiori M. |
Lecture Notes in Computer Science |
|
|
Principles and Practice of Constraint Programming - CP 95 |
16.11.1995 |
|
СТ |
A Dataflow Semantics for Constraint Logic Programs |
1995 |
Colussi L., Marchiori E., Marchiori M. |
Lecture Notes in Computer Science |
|
|
Programming Languages: Implementations, Logics and Programs |
16.11.1995 |
|
СТ |
Modularity of Completeness Revisited |
1995 |
Marchiori M. |
|
|
|
Lecture Notes in Computer Science |
27.04.1995 |
|
СТ |
Logic Programs as Term Rewriting Systems |
1994 |
Marchiori M. |
|
|
|
Lecture Notes in Computer Science |
01.11.1994 |
