- Unambiguity and uniformization problems on infinite trees Marcin Bilkowski Michał Skrzypczak Tue 03 September 2013
- Deciding the weak definability of Buchi definable tree languages Thomas Colcombet Denis Kuperberg Christof Løding Michael Vanden Boom Mon 02 September 2013
- A counter-example to `Wagner's conjecture' for infinite graphs Robin Thomas Thu 29 August 2013
- Graph Minors. XX. Wagner's conjecture Neil Robertson P.D. Seymour Thu 29 August 2013
- Graph minors XXIII. Nash-Williams' immersion conjecture Neil Robertson Paul Seymour Thu 29 August 2013
- A theory of structural stationarity in the -Calculus Roland Meyer Thu 29 August 2013
- Structural Stationarity in the pi-Calculus Roland Meyer Thu 29 August 2013
- The Tempo Language User Guide and Reference Manual Nancy A. Lynch Stephen J. Garland Dilsun Kaynar Laurent Michel Alex Shvartsman Wed 28 August 2013
- The Byzantine Generals Problem Leslie Lamport Robert Shostak Marshall Pease Tue 27 August 2013
- On the Relation of Programs and Computations to Models of Temporal Logic Pierre Wolper Thu 25 July 2013
- Complexity Results on Branching-Time Pushdown Model Checking Laura Bozzelli Wed 24 July 2013
- Space-bounded reducibility among combinatorial problems Neil D. Jones Wed 24 July 2013
- Beautiful Interpolants Aws Albarghouthi Kenneth L. McMillan Wed 24 July 2013
- An automata-theoretic approach to infinite-state systems Orna Kupferman Nir Piterman Moshe Y. Vardi Wed 24 July 2013
- Model Checking Linear Properties of Prefix-Recognizable Systems Orna Kupferman Nir Piterman Moshe Y. Vardi Wed 24 July 2013
- On Bounded Specifications Orna Kupferman Moshe Y. Vardi Wed 24 July 2013
- The complexity of type inference for higher-order lambda calculi Fritz Henglein Harry G. Mairson Mon 22 July 2013
- Model checking rationally restricted right closures of recognizable graphs Olaf Burkart Mon 22 July 2013
- The essence of ML J. C. Mitchell R. Harper Mon 22 July 2013
- Computable functionals of finite types Yu.L. Ershov Mon 22 July 2013
Library Size: 13G (12979 entries),
Last Updated: Apr 21, 2026, 15:38:46,
Build Time: N/A
