|
СТ |
An Extended Transformation System for CLP Programs |
1994 |
Bensaou N., Guessarian I. |
|
|
|
Lecture Notes in Computer Science |
12.01.1995 |
|
СТ |
Transforming Constraint Logic Programs |
1994 |
Bensaou N., Guessarian I. |
|
|
|
Lecture Notes in Computer Science |
26.03.1994 |
|
СТ |
About Boundedness for Some DATALOG and DATALOGneg Programs |
1992 |
Guessarian I., Veloso-Peixoto M. |
|
|
|
Lecture Notes in Computer Science |
17.09.1992 |
|
СТ |
Decoding Boundedness for Uniformly Connected Datalog Programs |
1990 |
Guessarian I. |
|
|
|
Lecture Notes in Computer Science |
19.03.1991 |
