- On weak higher dimensional categories I: Part 1 Claudio Hermida Michael Makkai John Power Fri 02 March 2012
- The petit topos of globular sets Ross Street Fri 02 March 2012
- Construction of a fundamental matrix solution at a singular point of the first kind by means of the SN decomposition of matrices Po-Fang Hsieh Mitsuhiko Kohno Yasutaka Sibuya Fri 02 March 2012
- Compact graphs and equitable partitions C.D. Godsil Fri 02 March 2012
- The witness function method and provably recursive functions of peano arithmetic Samuel R. Buss Fri 02 March 2012
- Formalization of Classical Mathematics in Automath J. Zucker Fri 02 March 2012
- Geometry of Interaction 1: Interpretation of System F Jean-Yves Girard Fri 02 March 2012
- Une Extension De vLInterpretation De Gödel a vLAnalyse, Et Son Application a vLElimination Des Coupures Dans vLAnalyse Et La Theorie Des Types Jean-Yves Girard Fri 02 March 2012
- Remarks on Tarski's problem concerning (R, +, *, exp) Lou van den Dries Fri 02 March 2012
- The Type Theoretic Interpretation of Constructive Set Theory Peter Aczel Fri 02 March 2012
- A Basis for a Mathematical Theory of Computation) John McCarthy Fri 02 March 2012
- Constructive Mathematics and Computer Programming Per Martin-Löf Fri 02 March 2012
- Symposium on Decision Problems: On a Decision Method in Restricted Second Order Arithmetic J. Richard Büchi Fri 02 March 2012
- An iterative procedure for the polygonal approximation of plane curves Urs Ramer Fri 02 March 2012
- Consensus-halving via theorems of Borsuk-Ulam and Tucker Forest W. Simmons Francis Edward Su Fri 02 March 2012
- On Nash-solvability in pure stationary strategies of finite games with perfect information which may have cycles E. Boros V. Gurvich Fri 02 March 2012
- Extended finite automata over groups Victor Mitrana Ralf Stiebe Fri 02 March 2012
- Underdiagonal lattice paths with unrestricted steps Donatella Merlini D.G. Rogers Renzo Sprugnoli M.Cecilia Verri Fri 02 March 2012
- The symmetry rule in propositional logic Alasdair Urquhart Fri 02 March 2012
- The way-below relation of function spaces over semantic domains Thomas Erker Martín Hötzel Escardó Klaus Keimel Fri 02 March 2012
Library Size: 13G (12947 entries),
Last Updated: Apr 09, 2026, 18:14:57,
Build Time: N/A
