Browsing by Author Gergatsoulis, M.
Showing results 1 to 2 of 2
Title | Author(s) | Issue date | ???itemlist.??? |
---|---|---|---|
A proof procedure for temporal logic programming | Gergatsoulis, M.; Nomikos, C. | 24-Nov-2015 | - |
Temporal stratification tests for linear and branching-time deductive databases | Nomikos, C.; Rondogiannis, P.; Gergatsoulis, M. | 24-Nov-2015 | - |