- Aperiodic tilings of the hyperbolic plane by convex polygons G. A. Margulis S. Mozes Fri 02 March 2012
- Metric spaces, generalized logic, and closed categories F. William Lawvere Fri 02 March 2012
- Zu meiner Note: ,,Bemerkungen zur Theorie der Diophantischen Approximationen textquotedblleft im l.Heft dieses Bandes Alexander Ostrowski Fri 02 March 2012
- Neuer beweis für die invarianz der dimensionszahl und des gebietes E. Sperner Fri 02 March 2012
- Completeness of calculii for axiomatically defined classes of algebras A. Selman Fri 02 March 2012
- More ways to tile with only one shape polygon Joshua E. S. Socolar Fri 02 March 2012
- Ein Sechsfarbenproblem auf der Kugel Gerhard Ringel Fri 02 March 2012
- A proof that Euler missed ... Alfred van der Poorten R. Apéry Fri 02 March 2012
- Acyclic programs Krzysztof R. Apt Marc Bezem Fri 02 March 2012
- Scratchpad implementation of the local minimal realization of dynamic systems N. E. Oussous M. Petitot Fri 02 March 2012
- Typed łambda-calculi with explicit substitutions may not terminate Paul-André Mellies Fri 02 March 2012
- Using reflection to build efficient and certified decision procedures Samuel Boutin Fri 02 March 2012
- Probabilistic simulations for probabilistic processes Roberto Segala Nancy Lynch Fri 02 March 2012
- Infinite behaviour of deterministic petri nets Heino Carstensen Fri 02 March 2012
- UPPAAL - a tool suite for automatic verification of real-time systems Johan Bengtsson Kim Larsen Fredrik Larsson Paul Pettersson Wang Yi Fri 02 March 2012
- Diagnostic model-checking for real-time systems Kim G. Laxsen Paul Pettersson Wang Yi Fri 02 March 2012
- A mixed linear and non-linear logic: Proofs, terms and models P. N. Benton Fri 02 March 2012
- Efficient scaling-invariant checking of timed bisimulation Carsten Weise Dirk Lenzkes Fri 02 March 2012
- Using partial orders to improve automatic verification methods Patrice Godefroid Fri 02 March 2012
- The textquotedblleftlasttextquotedblright decision problem for rational trace languages Jacques Sakarovitch Fri 02 March 2012
Library Size: 13G (12949 entries),
Last Updated: Apr 11, 2026, 18:05:34,
Build Time: N/A
