СТ |
Constraint Deduction in an Interval-based Temporal Logic |
1995 |
Koehler J., Treinen R. |
|
|
|
Lecture Notes in Artificial Intelligence |
31.03.1995 |
СТ |
Easy Intruder Deductions |
2003 |
Comon-Lundh H., Treinen R. |
|
|
|
Lecture Notes in Computer Science |
26.03.2004 |
СТ |
Equational and Membership Constraints for Infinite Trees |
1993 |
Niehren J., Podelski A., Treinen R. |
|
|
|
Lecture Notes in Computer Science |
09.07.1993 |
СТ |
Feture Constraints with First-Class Features |
1993 |
Treinen R. |
|
|
|
Lecture Notes in Computer Science |
21.10.1993 |
СТ |
How to Win a Game with Features |
1994 |
Backofen R., Treinen R. |
|
|
|
Lecture Notes in Computer Science |
01.10.1994 |
СТ |
Ordering Constraints on Trees |
1994 |
Comon H., Treinen R. |
|
|
|
Lecture Notes in Computer Science |
30.04.1994 |
СТ |
Records for Logic Programming |
1992 |
Smolka G., Treinen R. |
|
|
|
Logic Programming: Proc./ Joint Intern. Conf. and Symp. on Logic Programming |
19.12.1994 |