- Linear parametric model checking of timed automata Thomas Hune Judi Romijn Mariëlle Stoelinga Frits Vaandrager Fri 02 March 2012
- 1 Modal logic: a semantic perspective Patrick Blackburn Johan van Benthem Fri 02 March 2012
- 15 Combining modal logics Agi Kurucz Fri 02 March 2012
- Witt vectors. Part 1 Michiel Hazewinkel Fri 02 March 2012
- A Proof Dedicated Meta-Language David Delahaye Fri 02 March 2012
- A Monadic Semantics for Core Curry1 1This work has been supported in part by the National Science Foundation under grants CCR-0110496 and CCR-0218224 Andrew Tolmach Sergio Antoy Fri 02 March 2012
- Gap Embedding for Well-Quasi-Orderings Nachum Dershowitz Iddo Tzameret Fri 02 March 2012
- System NEL is Undecidable Lutz Straßburger Fri 02 March 2012
- Semantics for Algebraic Operations Gordon Plotkin John Power Fri 02 March 2012
- The Troublesome Probabilistic Powerdomain Achim Jung Regina Tix Fri 02 March 2012
- Cyclic Petri Net Reachability Sets are Semi-linear Effectively Constructible Zakaria Bouziane Alain Finkel Fri 02 March 2012
- Refinement of Actions in a Real-Time Process Algebra with a True Concurrency Model Harald Fecher Mila Majster-Cederbaum Jinzhao Wu Fri 02 March 2012
- The Category of Markov Kernels Prakash Panangaden Fri 02 March 2012
- An Introduction to History Dependent Automata Ugo Montanari Marco Pistore Fri 02 March 2012
- Generalized Parsing and Term Rewriting: Semantics Driven Disambiguation M.G.J. van den Brand A.S. Klusener L. Moonen J.J. Vinju Fri 02 March 2012
- On the Unreasonable Effectiveness of SAT Solvers Vijay Ganesh Moshe Y. Vardi Fri 02 March 2012
- Invisible inequality leads to punishing the poor and rewarding the rich OLIVER P. HAUSER GORDON T. KRAFT-TODD DAVID G. RAND MARTIN A. NOWAK MICHAEL I. NORTON Fri 02 March 2012
- Game Theory Michael Maschler Eilon Solan Shmuel Zamir Fri 02 March 2012
- Introduction to the Modern Theory of Dynamical Systems Anatole Katok Boris Hasselblatt Fri 02 March 2012
- Randomized Algorithms Rajeev Motwani Prabhakar Raghavan Fri 02 March 2012
Library Size: 13G (12947 entries),
Last Updated: Apr 09, 2026, 18:14:57,
Build Time: N/A
