- A Successive Lumping Procedure for a Class of Markov Chains Michael n. Katehakis Laurens c. Smit Tue 05 August 2014
- No proof nets for MLL with units Willem Heijltjes Robin Houston Tue 05 August 2014
- ``Eskimo Words for Snow'': A Case Study in the Genesis and Decay of an Anthropological Example Lauras Martin Mon 04 August 2014
- Upper-Expectation Bisimilarity and Real-valued Modal Logics Matteo Mio Mon 04 August 2014
- Regular Automata Didier Caucal Mon 04 August 2014
- Measure Properties of Game Tree Languages Tomasz Gogacz Henryk Michalewski Matteo Mio Michał Skrzypczak Mon 04 August 2014
- Logic and Databases Phokion G. Kolaitis Mon 04 August 2014
- Parity and Streett Games with Costs Nathanael Fijalkow Martin Zimmermann Mon 04 August 2014
- Nineteen Dubious Ways to Compute the Exponential of a Matrix, Twenty-Five Years Later C. Moler C. Van Loan Mon 04 August 2014
- Logic and Automata Wolfgang Thomas Mon 04 August 2014
- The theory of data dependencies --- An overview Ronald Fagin MosheY. Vardi Sat 02 August 2014
- Classical hierarchies from a modern standpoint. Part II. R-sets John Burgess Sat 02 August 2014
- Classical hierarchies form a modern standpoint. Part III. BP-sets John Burgess Richard Lockhart Sat 02 August 2014
- Classical hierarchies from a modern standpoint. Part I. C-sets John Burgess Sat 02 August 2014
- Human Quadrupeds, Primate Quadrupedalism, and Uner Tan Syndrome Liza J. Shapiro Whitney G. Cole Jesse W. Young David A. Raichlen Scott R. Robinson Karen E. Adolph Fri 01 August 2014
- Weaker Forms of Monotonicity for Declarative Networking: A More Fine-grained Answer to the Calm-conjecture Tom J. Ameloot Bas Ketsman Frank Neven Daniel Zinn Fri 01 August 2014
- Probabilistic propositional temporal logics Sergiu Hart Micha Sharir Wed 30 July 2014
- Termination of Probabilistic Concurrent Program Sergiu Hart Micha Sharir Amir Pnueli Wed 30 July 2014
- Inclusion Dependencies and Their Interaction with Functional Dependencies Marco A. Casanova Ronald Fagin Christos H. Papadimitriou Tue 29 July 2014
- Computational Problems Related to the Design of Normal Form Relational Schemas Catriel Beeri Philip A. Bernstein Tue 29 July 2014
Library Size: 13G (12984 entries),
Last Updated: Apr 23, 2026, 21:48:37,
Build Time: N/A
