Sciweavers

421 search results - page 1 / 85

» CSL

19

CSL
2007
Springer

111views Automated Reasoning» more CSL 2007»

Model-Checking First-Order Logic: Automata and Locality

14 years 1 months ago

Model-Checking First-Order Logic: Automata and Locality

Download www.cl.cam.ac.uk

Anuj Dawar

claim paper

Read More »

15

CSL
2007
Springer

87views Automated Reasoning» more CSL 2007»

Omega-Regular Half-Positional Winning Conditions

14 years 1 months ago

Omega-Regular Half-Positional Winning Conditions

Download www.mimuw.edu.pl

Eryk Kopczynski

claim paper

Read More »

21

CSL
2005
Springer

86views Automated Reasoning» more CSL 2005»

XML Navigation and Tarski's Relation Algebras

14 years 27 days ago

XML Navigation and Tarski's Relation Algebras

Download staff.science.uva.nl

Maarten Marx

claim paper

Read More »

17

CSL
2004
Springer

101views Automated Reasoning» more CSL 2004»

Intuitionistic LTL and a New Characterization of Safety and Liveness

14 years 23 days ago

Intuitionistic LTL and a New Characterization of Safety and Liveness

Download homepages.inf.ed.ac.uk

Patrick Maier

claim paper

Read More »

17

CSL
2009
Springer

129views Automated Reasoning» more CSL 2009»

Forcing and Type Theory

14 years 1 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 »