Sciweavers

4 search results - page 1 / 1
» tocl 2002
Sort
View
TOCL
2002
46views more  TOCL 2002»
13 years 4 months ago
The intuitionism behind Statecharts steps
Gerald Lüttgen, Michael Mendler
TOCL
2002
54views more  TOCL 2002»
13 years 4 months ago
Datalog LITE: a deductive query language with linear time model checking
Georg Gottlob, Erich Grädel, Helmut Veith
TOCL
2002
96views more  TOCL 2002»
13 years 4 months ago
On first-order topological queries
One important class of spatial database queries is the class of topological queries, that is, queries invariant under homeomorphisms. Westudy topological queries expressible in th...
Martin Grohe, Luc Segoufin
TOCL
2002
110views more  TOCL 2002»
13 years 4 months ago
Abstract computability and algebraic specification
Computability and Algebraic Specification J. V. TUCKER University of Wales, Swansea and J. I. ZUCKER McMaster University Abstract computable functions are defined by abstract finit...
J. V. Tucker, Jeffery I. Zucker