|
СТ |
A Point-Based Temporal Extension of SQL |
1997 |
Toman D. |
|
|
|
Lecture Notes in Computer Science |
16.12.1997 |
|
СТ |
Computing the Well-founded Semantics for Constraint Extensions of Datalog |
1996 |
Toman D. |
|
|
|
Lecture Notes in Computer Science |
13.03.1997 |
|
СТ |
Constraint Databases and Program Analysis Using Abstract Interpretation |
1996 |
Toman D. |
|
|
|
Lecture Notes in Computer Science |
13.03.1997 |
|
СТ |
Datalog with Integer Periodicity Constraints |
1994 |
Toman D., Chomicki J., Rogers D. S. |
|
|
|
Logic Programming. Proc. of the 1994 Intern. Symp. |
30.01.1996 |
|
СТ |
First-Order Queries over Temporal Databases Inexpressible in Temporal Logic |
1996 |
Toman D., Niwinski D. |
|
|
|
Lecture Notes in Computer Science |
18.04.1996 |
|
СТ |
On Decidability and Complexity of Description Logics with Uniqueness Constraints |
2000 |
Khizder V., Toman D., Weddel G. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
30.01.2001 |
|
СТ |
Point-Based Temporal Extensions of SGL and Their Efficient Implementation |
1998 |
Toman D. |
|
|
|
Lecture Notes in Computer Science |
24.06.1998 |
|
СТ |
Query Processing in Embedded Control Programs |
2001 |
Toman D., Weddell G. |
|
|
|
Lecture Notes in Computer Science |
03.11.2001 |
|
СТ |
Querying TSQL2 Databases with Temporal Logic |
1996 |
Bohlen M. H., Chomicki J., Snodgrass R. T., Toman D. |
|
|
|
Lecture Notes in Computer Science |
18.04.1996 |
|
СТ |
Register Allocation in WAM |
1991 |
Matyska L., Jergova A., Toman D. |
|
|
|
Logic Programming: Proc./Eighth Intern. Conf. |
19.09.1994 |
|
СТ |
Top-Down beats Bottom-Up for Constraint Extensions of Datalog |
1995 |
Toman D. |
|
|
|
Logic Programming: Proc. of the Intern. Symp. |
24.04.1996 |
