TOCL 2002 | Sciweavers

28

click to vote

TOCL
2002

54views more TOCL 2002»

Datalog LITE: a deductive query language with linear time model checking

13 years 11 months ago

Download reference.kfupm.edu.sa

Georg Gottlob, Erich Grädel, Helmut Veith

claim paper

Read More »

38

click to vote

TOCL
2002

110views more TOCL 2002»

Abstract computability and algebraic specification

13 years 11 months ago

Download www.cs.swan.ac.uk

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

claim paper

Read More »

32

click to vote

TOCL
2002

46views more TOCL 2002»

The intuitionism behind Statecharts steps

13 years 11 months ago

Download www.cs.odu.edu

Gerald Lüttgen, Michael Mendler

claim paper

Read More »

35

click to vote

TOCL
2002

96views more TOCL 2002»

On first-order topological queries

13 years 11 months ago

Download www.lsv.ens-cachan.fr

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

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers