- A la recherche de la definition de la complexite dtextquotesingleespace pour le calcul des polynomes a la maniere de Valiant Bruno Poizat Fri 02 March 2012
- A proof of completeness for continuous first-order logic Itaï Ben Yaacov Arthur Paul Pedersen Fri 02 March 2012
- The additive group of the rationals does not have an automatic presentation Todor Tsankov Fri 02 March 2012
- Automatic structures of bounded degree revisited Dietrich Kuske Markus Lohrey Fri 02 March 2012
- On the complexity of proof deskolemization Matthias Baaz Stefan Hetzl Daniel Weller Fri 02 March 2012
- Sur la division pragmatique H. Steinhaus Fri 02 March 2012
- Note on the Derivatives with Respect to a Parameter of the Solutions of a System of Differential Equations T. H. Gronwall Fri 02 March 2012
- The Generalized Gamma Functions Emil L. Post Fri 02 March 2012
- The Representation of Relational Algebras Roger C. Lyndon Fri 02 March 2012
- The Representation of Relation Algebras, II Roger C. Lyndon Fri 02 March 2012
- The Decision Problem for Exponential Diophantine Equations Martin Davis Hilary Putnam Julia Robinson Fri 02 March 2012
- Galois Connexions Oystein Ore Fri 02 March 2012
- Well-Quasi-Ordering, The Tree Theorem, and Vazsonyitextquotesingles Conjecture J. B. Kruskal Fri 02 March 2012
- The Diameter of Random Graphs Bela Bollobas Fri 02 March 2012
- Strongly pi-Regular Matrix Semigroups Jan Okninski Fri 02 March 2012
- Concatenation as basis for a complete system of arithmetic M. H. Löb Fri 02 March 2012
- Definability and decision problems in arithmetic Julia Robinson Fri 02 March 2012
- On notation for ordinal numbers S. C. Kleene Fri 02 March 2012
- Concatenation as a basis for arithmetic W. V. Quine Fri 02 March 2012
- On the calculus of relations Alfred Tarski Fri 02 March 2012
Library Size: 13G (12942 entries),
Last Updated: Apr 05, 2026, 08:41:35,
Build Time: N/A
