Sciweavers

7380 search results - page 27 / 1476
» time 2008
Sort
View
TOCL
2002
54views more  TOCL 2002»
13 years 9 months ago
Datalog LITE: a deductive query language with linear time model checking
Georg Gottlob, Erich Grädel, Helmut Veith