Sciweavers

655 search results - page 34 / 131

» Automata, Logic, and XML

57

CORR
2007
Springer

89views Education» more CORR 2007»

Automata with Nested Pebbles Capture First-Order Logic with Transitive Closure

14 years 11 months ago

Automata with Nested Pebbles Capture First-Order Logic with Transitive Closure

Download www.liacs.nl

Joost Engelfriet, Hendrik Jan Hoogeboom

claim paper

Read More »

32

ENTCS
2007

100views more ENTCS 2007»

Concurrent Logic and Automata Combined: A Semantics for Components

14 years 11 months ago

Concurrent Logic and Automata Combined: A Semantics for Components

Download www.computing.surrey.ac.uk

Juliana Küster Filipe, Sotiris Moschoyiannis

claim paper

Read More »

73

Voted

FUIN
2002

65views more FUIN 2002»

Automata-Theoretic Decision Procedures for Information Logics

14 years 11 months ago

Automata-Theoretic Decision Procedures for Information Logics

Download www.lsv.ens-cachan.fr

Stéphane Demri, Ulrike Sattler

claim paper

Read More »

86

FUIN
2008

72views more FUIN 2008»

Some Varieties of Finite Tree Automata Related to Restricted Temporal Logics

14 years 11 months ago

Some Varieties of Finite Tree Automata Related to Restricted Temporal Logics

Download www.inf.u-szeged.hu

Zoltán Ésik, Szabolcs Iván

claim paper

Read More »

77

JACM
2010

99views more JACM 2010»

Transitive closure logic, nested tree walking automata, and XPath

14 years 10 months ago

Transitive closure logic, nested tree walking automata, and XPath

Download www.lsv.ens-cachan.fr

Balder ten Cate, Luc Segoufin

claim paper

Read More »

« Prev « First page 34 / 131 Last » Next »