- Sequential Convex Programming for the Efficient Verification of Parametric MDPs Murat Cubuktepe Nils Jansen Sebastian Junges Joost-Pieter Katoen Ivan Papusha Hasan A. Poonawala Ufuk Topcu Fri 02 March 2012
- FO Model Checking on Map Graphs Kord Eickmeyer Ken-ichi Kawarabayashi Fri 02 March 2012
- The Holonomic Toolkit Manuel Kauers Fri 02 March 2012
- Treatise on Intuitionistic Type Theory Johan Georg Granström Fri 02 March 2012
- The Complexity of Decision Procedures in Relevance Logic Alasdair Urquhart Fri 02 March 2012
- Assigning Meanings to Programs Robert W. Floyd Fri 02 March 2012
- Semirings and their Applications Jonathan S. Golan Fri 02 March 2012
- On the size of shares for secret sharing schemes R. M. Capocelli A. De Santis L. Gargano U. Vaccaro Fri 02 March 2012
- Penrose tilings as coverings of congruent decagons Petra Gummelt Fri 02 March 2012
- Productive use of failure in inductive proof Andrew Ireland Alan Bundy Fri 02 March 2012
- The foundation of a generic theorem prover Lawrence C. Paulson Fri 02 March 2012
- Language in action Johan Van Benthem Fri 02 March 2012
- An Ogden-like iteration lemma for rational power series Christophe Reutenauer Fri 02 March 2012
- On the valuedness of finite transducers Andreas Weber Fri 02 March 2012
- Short proofs for tricky formulas Balakrishnan Krishnamurthy Fri 02 March 2012
- A method for transforming grammars into LL(k) form Eljas Soisalon-Soininen Esko Ukkonen Fri 02 March 2012
- Polya-like urns and the Ewens' sampling formula Fred M. Hoppe Fri 02 March 2012
- Automaten in planaren Graphen H. A. Rollik Fri 02 March 2012
- Ambiguity and precedence in syntax description Jay Earley Fri 02 March 2012
- On non-determinancy in simple computing devices Juris Hartmanis Fri 02 March 2012
Library Size: 13G (12950 entries),
Last Updated: Apr 12, 2026, 22:09:01,
Build Time: N/A
