- DIOPHANTINE GEOMETRY OVER GROUPS VI: THE ELEMENTARY THEORY OF A FREE GROUP Z. Sela Fri 02 March 2012
- Unitary Representations of Oligomorphic Groups Todor Tsankov Fri 02 March 2012
- The Size of a Share Must Be Large László Csirmaz Fri 02 March 2012
- Simply terminating rewrite systems with long derivations Ingo Lepper Fri 02 March 2012
- Light affine lambda calculus and polynomial time strong normalization Kazushige Terui Fri 02 March 2012
- Proof analysis in intermediate logics Roy Dyckhoff Sara Negri Fri 02 March 2012
- A Wadge hierarchy for second countable spaces Yann Pequignot Fri 02 March 2012
- MagidortextendashMalitz reflection Yair Hayut Fri 02 March 2012
- A logic for arguing about probabilities in measure teams Tapani Hyttinen Gianluca Paolini Jouko Väänänen Fri 02 March 2012
- Residuated fuzzy logics with an involutive negation Francesc Esteva Lluís Godo Petr Hájek Mirko Navara Fri 02 March 2012
- Parametric probabilistic transition systems for system design and analysis Ruggero Lanotte Andrea Maggiolo-Schettini Angelo Troina Fri 02 March 2012
- Deciding orthogonal bisimulation Thuy Duong Vu Fri 02 March 2012
- On the correctness of upper layers of automotive systems Jewgenij Botaschanjan Manfred Broy Alexander Gruler Alexander Harhurin Steffen Knapp Leonid Kof Wolfgang Paul Maria Spichkova Fri 02 March 2012
- Soundness of workflow nets: classification, decidability, and analysis W. M. P. van der Aalst K. M. van Hee A. H. M. ter Hofstede N. Sidorova H. M. W. Verbeek M. Voorhoeve M. T. Wynn Fri 02 March 2012
- Simple linear string constraints Xiang Fu Michael C. Powell Michael Bantegui Chung-Chih Li Fri 02 March 2012
- Probabilistic verification of Herman's self-stabilisation algorithm Marta Kwiatkowska Gethin Norman David Parker Fri 02 March 2012
- Exploring probabilistic bisimulations, part I Matthew Hennessy Fri 02 March 2012
- Model checking dynamic pushdown networks Fu Song Tayssir Touili Fri 02 March 2012
- Fifty years of Hoare's logic Krzysztof R. Apt Ernst-Rüdiger Olderog Fri 02 March 2012
- Partial-order Reduction Techniques for Real-time Model Checking Dennis Dams Rob Gerth Bart Knaack Ruurd Kuiper Fri 02 March 2012
Library Size: 13G (12949 entries),
Last Updated: Apr 11, 2026, 18:05:34,
Build Time: N/A
