Search Sciweavers | Sciweavers

2465 search results - page 14 / 493

» Automata on Linear Orderings

144

click to vote

LICS
2007
IEEE

108views Automated Reasoning» more LICS 2007»

Higher-Order Matching, Games and Automata

15 years 10 months ago

Download homepages.inf.ed.ac.uk

Higher-order matching is the problem given t = u where t, u are terms of simply typed λ-calculus and u is closed, is there a substitution θ such that tθ and u have the same nor...

Colin Stirling

claim paper

Read More »

106

click to vote

CSL
2007
Springer

111views Automated Reasoning» more CSL 2007»

Model-Checking First-Order Logic: Automata and Locality

15 years 10 months ago

Download www.cl.cam.ac.uk

Anuj Dawar

claim paper

Read More »

109

click to vote

WIA
2007
Springer

81views Artificial Intelligence» more WIA 2007»

Synchronizing Automata Preserving a Chain of Partial Orders

15 years 10 months ago

Download www.stringology.org

Mikhail V. Volkov

claim paper

Read More »

137

click to vote

STACS
1998
Springer

105views Theoretical Computer Science» more STACS 1998»

Local Normal Forms for First-Order Logic with Applications to Games and Automata

15 years 8 months ago

Download www.dmtcs.org

Thomas Schwentick, Klaus Barthelmann

claim paper

Read More »

click to vote

CORR
2007
Springer

89views Education» more CORR 2007»

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

15 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers