Search Sciweavers | Sciweavers

58 search results - page 1 / 12

» csl 2007

click to vote

CSL
2007
Springer

121views Automated Reasoning» more CSL 2007»

The Ackermann Award 2007

13 years 10 months ago

Download www.eacsl.org

Martin Grohe, Martin Hyland, Johann A. Makowsky, D...

claim paper

Read More »

click to vote

CSL
2007
Springer

111views Automated Reasoning» more CSL 2007»

Model-Checking First-Order Logic: Automata and Locality

13 years 10 months ago

Download www.cl.cam.ac.uk

Anuj Dawar

claim paper

Read More »

click to vote

CSL
2007
Springer

87views Automated Reasoning» more CSL 2007»

Omega-Regular Half-Positional Winning Conditions

13 years 10 months ago

Download www.mimuw.edu.pl

Eryk Kopczynski

claim paper

Read More »

click to vote

CSL
2007
Springer

92views Automated Reasoning» more CSL 2007»

Structure Theorem and Strict Alternation Hierarchy for FO2 on Words

13 years 10 months ago

Download www.cs.umass.edu

Philipp Weis, Neil Immerman

claim paper

Read More »

click to vote

CSL
2007
Springer

178views Automated Reasoning» more CSL 2007»

On Acyclic Conjunctive Queries and Constant Delay Enumeration

13 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers