- Analysis of Imperative Programs through Analysis of Constraint Logic Programs Julio C. Peralta John P. Gallagher Hüseyin Sağlam Fri 02 March 2012
- On the computational complexity of quantified Horn clauses Marek Karpinski Hans Kleine Büning Peter H. Schmitt Fri 02 March 2012
- Experiments with implementations of two theoretical constructions Torben Amtoft Hansen Thomas Nikolajsen Jesper Larsson Träff Neil D. Jones Fri 02 March 2012
- Inductively defined types Thierry Coquand Christine Paulin Fri 02 March 2012
- On the regular structure of prefix rewriting Didier Caucal Fri 02 March 2012
- Action versus state based logics for transition systems Rocco Nicola Frits Vaandrager Fri 02 March 2012
- Minimal solutions of linear diophantine systems : bounds and algorithms Loïc Pottier Fri 02 March 2012
- Computing behavioural relations, logically Rance Cleaveland Bernhard Steffen Fri 02 March 2012
- Better algorithms for the pathwidth and treewidth of graphs Hans L. Bodlaender Ton Kloks Fri 02 March 2012
- PVS: A prototype verification system S. Owre J. M. Rushby N. Shankar Fri 02 March 2012
- Characterization of temporal property classes Edward Chang Zohar Manna Amir Pnueli Fri 02 March 2012
- Efficient local correctness checking Kim Guldstrand Larsen Fri 02 March 2012
- On syntactic congruences for ømega-languages Oded Maler Ludwig Staiger Fri 02 March 2012
- Feature automata and recognizable sets of feature trees Joachim Niehren Andreas Podelski Fri 02 March 2012
- Timed modal specification - Theory and tools Kārlis Čerāns Jens Chr. Godskesen Kim G. Larsen Fri 02 March 2012
- On model-checking for fragments of mu-calculus E. A. Emerson C. S. Jutla A. P. Sistla Fri 02 March 2012
- All from one, one for all: on model checking using representatives Doron Peled Fri 02 March 2012
- New decidability results concerning two-way counter machines and applications Oscar H. Ibarra Tao Jiang Nicholas Tran Hui Wang Fri 02 March 2012
- Notes on sconing and relators John C. Mitchell Andre Scedrov Fri 02 March 2012
- A congruence theorem for structured operational semantics with predicates J. C. M. Baeten C. Verhoef Fri 02 March 2012
Library Size: 13G (12952 entries),
Last Updated: Apr 13, 2026, 17:04:26,
Build Time: N/A
