Search Sciweavers | Sciweavers

421 search results - page 4 / 85

» CSL

click to vote

CSL
2007
Springer

121views Automated Reasoning» more CSL 2007»

The Ackermann Award 2007

14 years 2 months ago

Download www.eacsl.org

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

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 2 months ago

Download www.cs.umass.edu

Philipp Weis, Neil Immerman

claim paper

Read More »

click to vote

CSL
2005
Springer

80views Automated Reasoning» more CSL 2005»

Towards a Characterization of Order-Invariant Queries over Tame Structures

14 years 1 months ago

Download www.lsv.ens-cachan.fr

Michael Benedikt, Luc Segoufin

claim paper

Read More »

click to vote

CSL
2005
Springer

89views Automated Reasoning» more CSL 2005»

On the Complexity of Hybrid Logics with Binders

14 years 1 months ago

Download www.illc.uva.nl

Balder ten Cate, Massimo Franceschet

claim paper

Read More »

click to vote

CSL
2005
Springer

101views Automated Reasoning» more CSL 2005»

Bounded Model Checking of Pointer Programs

14 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers