Sciweavers

421 search results - page 1 / 85

» CSL

10

CSL
2007
Springer

111views Automated Reasoning» more CSL 2007»

Model-Checking First-Order Logic: Automata and Locality

13 years 11 months ago

Model-Checking First-Order Logic: Automata and Locality

Download www.cl.cam.ac.uk

Anuj Dawar

claim paper

Read More »

8

CSL
2007
Springer

87views Automated Reasoning» more CSL 2007»

Omega-Regular Half-Positional Winning Conditions

13 years 11 months ago

Omega-Regular Half-Positional Winning Conditions

Download www.mimuw.edu.pl

Eryk Kopczynski

claim paper

Read More »

13

CSL
2005
Springer

86views Automated Reasoning» more CSL 2005»

XML Navigation and Tarski's Relation Algebras

13 years 10 months ago

XML Navigation and Tarski's Relation Algebras

Download staff.science.uva.nl

Maarten Marx

claim paper

Read More »

11

CSL
2004
Springer

101views Automated Reasoning» more CSL 2004»

Intuitionistic LTL and a New Characterization of Safety and Liveness

13 years 10 months ago

Intuitionistic LTL and a New Characterization of Safety and Liveness

Download homepages.inf.ed.ac.uk

Patrick Maier

claim paper

Read More »

10

CSL
2009
Springer

129views Automated Reasoning» more CSL 2009»

Forcing and Type Theory

13 years 11 months ago

Forcing and Type Theory

Download www.lama.univ-savoie.fr

Thierry Coquand

claim paper

Read More »

« Prev « First page 1 / 85 Last » Next »