- Definable operations in general algebras, and the theory of automata and flowcharts Hans Bekić Fri 02 March 2012
- From semantics to rules: A machine assisted analysis Catarina Coquand Fri 02 March 2012
- Petri nets and the equivalence problem Yoram Hirshfeld Fri 02 March 2012
- Testing equivalence of morphisms on context-free languages Wojciech Plandowski Fri 02 March 2012
- Analysis of a guard condition in type theory Roberto M. Amadio Solange Coupet-Grimal Fri 02 March 2012
- Language primitives and type discipline for structured communication-based programming Kohei Honda Vasco T. Vasconcelos Makoto Kubo Fri 02 March 2012
- Extensional higher-order resolution Christoph Benzmüller Michael Kohlhase Fri 02 March 2012
- Slack elasticity in concurrent computing Rajit Manohar Alain J. Martin Fri 02 March 2012
- Positive varieties and infinite words Jean -éric Pin Fri 02 March 2012
- Simple linear-time algorithms for minimal fixed points Xinxin Liu Scott A. Smolka Fri 02 March 2012
- Types for 0, 1 or many uses Torben Æ. Mogensen Fri 02 March 2012
- The regular viewpoint on PA-processes D. Lugiez Ph. Schnoebelen Fri 02 March 2012
- Automata and coinduction (an exercise in coalgebra) J. J. M. M. Rutten Fri 02 March 2012
- forallexists-Equational theory of context unification is pi10-hard Sergei Vorobyov Fri 02 March 2012
- The mathematical language AUTOMATH, its usage, and some of its extensions N. G. de Bruijn Fri 02 March 2012
- Weak monadic second order theory of succesor is not elementary-recursive Albert R. Meyer Fri 02 March 2012
- Foncteurs analytiques et espèces de structures André Joyal Fri 02 March 2012
- Distributive laws Jon Beck Fri 02 March 2012
- Globally bounded solutions of differential equations Christol Gilles Fri 02 March 2012
- Monadic logic: Hanf Numbers Saharon Shelah Fri 02 March 2012
Library Size: 13G (12949 entries),
Last Updated: Apr 11, 2026, 18:05:34,
Build Time: N/A
