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

14 years 5 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

14 years 5 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

14 years 5 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

14 years 5 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

14 years 5 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers