Sciweavers

421 search results - page 1 / 85

» CSL

58

CSL
2007
Springer

111views Automated Reasoning» more CSL 2007»

Model-Checking First-Order Logic: Automata and Locality

15 years 3 months ago

Model-Checking First-Order Logic: Automata and Locality

Download www.cl.cam.ac.uk

Anuj Dawar

claim paper

Read More »

44

CSL
2007
Springer

87views Automated Reasoning» more CSL 2007»

Omega-Regular Half-Positional Winning Conditions

15 years 3 months ago

Omega-Regular Half-Positional Winning Conditions

Download www.mimuw.edu.pl

Eryk Kopczynski

claim paper

Read More »

64

CSL
2005
Springer

86views Automated Reasoning» more CSL 2005»

XML Navigation and Tarski's Relation Algebras

15 years 2 months ago

XML Navigation and Tarski's Relation Algebras

Download staff.science.uva.nl

Maarten Marx

claim paper

Read More »

53

CSL
2004
Springer

101views Automated Reasoning» more CSL 2004»

Intuitionistic LTL and a New Characterization of Safety and Liveness

15 years 2 months ago

Intuitionistic LTL and a New Characterization of Safety and Liveness

Download homepages.inf.ed.ac.uk

Patrick Maier

claim paper

Read More »

51

CSL
2009
Springer

129views Automated Reasoning» more CSL 2009»

Forcing and Type Theory

15 years 4 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 »