Manolis Gergatsoulis

From MaRDI portal
Person:169898

Available identifiers

zbMath Open gergatsoulis.manolisMaRDI QIDQ169898

List of research outcomes





PublicationDate of PublicationType
On transformations into linear database logic programs2024-07-11Paper
Unfold/fold transformations for disjunctive logic programs2016-05-26Paper
Query containment under bag and bag-set semantics2012-01-18Paper
View selection for real conjunctive queries2007-09-10Paper
https://portal.mardi4nfdi.de/entity/Q54871092006-09-18Paper
Temporal stratification tests for linear and branching-time deductive databases2005-09-22Paper
A PROOF PROCEDURE FOR TEMPORAL LOGIC PROGRAMMING2005-06-22Paper
Linearisability on Datalog programs2004-10-27Paper
https://portal.mardi4nfdi.de/entity/Q48088062004-08-12Paper
https://portal.mardi4nfdi.de/entity/Q30454402004-08-12Paper
https://portal.mardi4nfdi.de/entity/Q47906452003-02-04Paper
Representing time-dependent information in multidimensional XML2002-09-29Paper
https://portal.mardi4nfdi.de/entity/Q45355102002-06-16Paper
The branching-time transformation technique for chain datalog programs2002-01-22Paper
Extensions of the branching-time logic programming language CACTUS2001-12-06Paper
Temporal disjunctive logic programming2001-04-17Paper
Branching-time logic programming: the language Cactus and its applications2000-01-04Paper

Research outcomes over time

This page was built for person: Manolis Gergatsoulis

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:169898&oldid=6389114"
Powered by MediaWiki