SPECIAL ISSUE:
Selected Papers of the Conference ''Logic in Computer Science 2006''
Seattle, Washington, USA, 2006



Preface
Rajeev Alur, Radha Jagadeesan and Leonid Libkin


From Nondeterministic Büchi and Streett Automata to
Deterministic Parity Automata
Nir Piterman


A Characterisation of First-Order Constraint Satisfaction Problems
Benoit Larose, Cynthia Loten and Claude Tardif


Coinductive Proof Principles for Stochastic Processes
Dexter C. Kozen


A proof of strong normalisation using domain theory
Thierry Coquand and Arnaud Spiwack


Independence and concurrent separation logic
Jonathan Mark Hayman and Glynn Winskel



DOI: 10.2168/LMCS-LICS:2006

Creative Commons