- The boundedness of all products of a pair of matrices is undecidable Vincent D. Blondel John N. Tsitsiklis Fri 02 March 2012
- Linearization by generalized input-output injection F. Plestan A. Glumineau Fri 02 March 2012
- Wellfounded trees in categories Ieke Moerdijk Erik Palmgren Fri 02 March 2012
- On phase semantics and denotational semantics: the exponentials Antonio Bucciarelli Thomas Ehrhard Fri 02 March 2012
- Logarithmic-exponential series Lou van den Dries Angus Macintyre David Marker Fri 02 March 2012
- Complexity of Null- and Positivstellensatz proofs Dima Grigoriev Nicolai Vorobjov Fri 02 March 2012
- Dynamic linear time temporal logic Jesper G. Henriksen P.S. Thiagarajan Fri 02 March 2012
- On phase semantics and denotational semantics in multiplicativetextendashadditive linear logic Antonio Bucciarelli Thomas Ehrhard Fri 02 March 2012
- The EvtGen particle decay simulation package David J. Lange Fri 02 March 2012
- Spectral methods in computing invariant tori Manfred R. Trummer Fri 02 March 2012
- Faster algorithms for string matching with k mismatches Amihood Amir Moshe Lewenstein Ely Porat Fri 02 March 2012
- Une approche combinatoire pour ltextquotesingleitération de Newton - Raphson H. Décoste G. Labelle P. Leroux Fri 02 March 2012
- The Logic of Games and its Applications Rohit Parikh Fri 02 March 2012
- Distinguishing Vertices of Random Graphs Béla Bollobás Fri 02 March 2012
- The monadic second-order logic of graphs XIII: Graph drawings with edge crossings Bruno Courcelle Fri 02 March 2012
- Partial correctness for probabilistic demonic programs A.K. McIver Carroll Morgan Fri 02 March 2012
- Restriction categories I: categories of partial maps J.R.B. Cockett Stephen Lack Fri 02 March 2012
- Analysis issues in Petri nets with inhibitor arcs Nadia Busi Fri 02 March 2012
- Squaring transducers: an efficient procedure for deciding functionality and sequentiality Marie-Pierre Béal Olivier Carton Christophe Prieur Jacques Sakarovitch Fri 02 March 2012
- Glueing and orthogonality for models of linear logic Martin Hyland Andrea Schalk Fri 02 March 2012
Library Size: 13G (12947 entries),
Last Updated: Apr 09, 2026, 18:14:57,
Build Time: N/A
