Sciweavers

22 search results - page 1 / 5

» tocl 2008

7

TOCL
2008

66views more TOCL 2008»

Bounds on the automata size for Presburger arithmetic

13 years 4 months ago

Bounds on the automata size for Presburger arithmetic

Download www.inf.ethz.ch

Felix Klaedtke

claim paper

Read More »

11

TOCL
2002

46views more TOCL 2002»

The intuitionism behind Statecharts steps

13 years 4 months ago

The intuitionism behind Statecharts steps

Download www.cs.odu.edu

Gerald Lüttgen, Michael Mendler

claim paper

Read More »

8

TOCL
2002

54views more TOCL 2002»

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

13 years 4 months ago

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

Download reference.kfupm.edu.sa

Georg Gottlob, Erich Grädel, Helmut Veith

claim paper

Read More »

14

TOCL
2010

73views more TOCL 2010»

FDNC: Decidable nonmonotonic disjunctive logic programs with function symbols

13 years 2 months ago

FDNC: Decidable nonmonotonic disjunctive logic programs with function symbols

Download tocl.acm.org

Thomas Eiter, Mantas Simkus

claim paper

Read More »

12

TOCL
2010

45views more TOCL 2010»

Undecidability and intractability results concerning datalog programs and their persistency numbers

13 years 2 months ago

Undecidability and intractability results concerning datalog programs and their persistency numbers

Download tocl.acm.org

Stavros S. Cosmadakis, Eugénie Foustoucos, ...

claim paper

Read More »

« Prev « First page 1 / 5 Last » Next »