0 | -- | 0 | Benoit Larose, Cynthia Loten, Claude Tardif. A Characterisation of First-Order Constraint Satisfaction Problems |
0 | -- | 0 | Alexander Rabinovich. The Church Synthesis Problem with Parameters |
0 | -- | 0 | Dexter Kozen. Coinductive Proof Principles for Stochastic Processes |
0 | -- | 0 | Thierry Coquand, Arnaud Spiwack. A proof of strong normalisation using domain theory |
0 | -- | 0 | Ranjit Jhala, Kenneth L. McMillan. Interpolant-Based Transition Relation Approximation |
0 | -- | 0 | Morten Heine Sørensen. A Note on Shortest Developments |
0 | -- | 0 | Vincent Atassi, Patrick Baillot, Kazushige Terui. Verification of Ptime Reducibility for system F Terms: Type Inference in Dual Light Affine Logic |
0 | -- | 0 | Andreas Blass, Yuri Gurevich, Dean Rosenzweig, Benjamin Rossman. Interactive Small-Step Algorithms II: Abstract State Machines and the Characterization Theorem |
0 | -- | 0 | Stefan Wöhrle, Wolfgang Thomas. Model Checking Synchronized Products of Infinite Transition Systems |
0 | -- | 0 | Ichiro Hasuo, Bart Jacobs, Ana Sokolova. Generic Trace Semantics via Coinduction |
0 | -- | 0 | Andreas Blass, Yuri Gurevich, Dean Rosenzweig, Benjamin Rossman. Interactive Small-Step Algorithms I: Axiomatization |
0 | -- | 0 | Parosh Aziz Abdulla, Noomene Ben Henda, Richard Mayr. Decisive Markov Chains |