|
СТ |
Compiling Constraint Handling Rules into Prolog with Attributed Variables |
1999 |
Holzbaur C., Fruhwirth T. |
|
|
|
Lecture Notes in Computer Science |
27.10.1999 |
|
СТ |
On Completion of Constraint Handling Rules |
1998 |
Abdennadher S., Fruhwirth T. |
|
|
|
Lecture Notes in Computer Science |
26.11.1998 |
|
СТ |
Constraint Handling Rules |
1995 |
Fruhwirth T. |
|
|
|
Lecture Notes in Computer Science |
19.04.1995 |
|
СТ |
Temporal Logic and Annotated Constraint Logic Programming |
1995 |
Fruhwirth T. |
|
|
|
Lecture Notes in Artificial Intelligence |
31.03.1995 |
|
СТ |
Annotated Constraint Logic Programming Applied to Temporal Reasoning |
1994 |
Fruhwirth T. |
|
|
|
Lecture Notes in Computer Science |
13.10.1994 |
