- The Generating Power of Total Deterministic Tree Transducers Sebastian Maneth Fri 02 March 2012
- Games and Full Abstraction for FPC Guy McCusker Fri 02 March 2012
- Full Abstraction for PCF Samson Abramsky Radha Jagadeesan Pasquale Malacaria Fri 02 March 2012
- The Subtyping Problem for Second-Order Types Is Undecidable Jerzy Tiuryn Paweł Urzyczyn Fri 02 March 2012
- A Linear Logical Framework Iliano Cervesato Frank Pfenning Fri 02 March 2012
- First-Order Logic with Two Variables and Unary Temporal Logic Kousha Etessami Moshe Y. Vardi Thomas Wilke Fri 02 March 2012
- On the Complexity of Reasoning in Kleene Algebra Dexter Kozen Fri 02 March 2012
- Contextual Petri Nets, Asymmetric Event Structures, and Processes Paolo Baldan Andrea Corradini Ugo Montanari Fri 02 March 2012
- Communication Complexity Method for Measuring Nondeterminism in Finite Automata Juraj Hromkovič Sebastian Seibert Juhani Karhumäki Hartmut Klauck Georg Schnitger Fri 02 March 2012
- Fair Simulation Thomas A Henzinger Orna Kupferman Sriram K Rajamani Fri 02 March 2012
- A Note on the Axioms for Differentially Closed Fields of Characteristic Zero David Pierce Anand Pillay Fri 02 March 2012
- Closed asymptotic couples Matthias Aschenbrenner Lou van den Dries Fri 02 March 2012
- Lengths of Tors Determined by Killing Powers of Ideals in a Local Ring J.Bruce Fields Fri 02 March 2012
- Stallings Foldings and Subgroups of Free Groups Ilya Kapovich Alexei Myasnikov Fri 02 March 2012
- On Linear Time Minor Tests with Depth-First Search H.L. Bodlaender Fri 02 March 2012
- Decision Problems for Patterns T. Jiang A. Salomaa K. Salomaa S. Yu Fri 02 March 2012
- On the Computational Power of Neural Nets H. T. Siegelmann Eduardo D. Sontag Fri 02 March 2012
- Polynomial Bounds for VC Dimension of Sigmoidal and General Pfaffian Neural Networks Marek Karpinski Angus Macintyre Fri 02 March 2012
- Dyn-FO: A Parallel, Dynamic Complexity Class Sushant Patnaik Neil Immerman Fri 02 March 2012
- Arity Bounds in First-Order Incremental Evaluation and Definition of Polynomial Time Database Queries Guozhu Dong Jianwen Su Fri 02 March 2012
Library Size: 13G (12970 entries),
Last Updated: Apr 16, 2026, 08:51:39,
Build Time: N/A
