- The T-Calculus : towards a structured programing of (musical) time and space David Janin Florent Berthaud Myriam Desainte-Catherine Yann Orlarey Sylvain Salvati Wed 01 January 2014
- Sequences of level 1, 2, 3,łdots, k,łdots Géraud Sénizergues Wed 01 January 2014
- Tree Automata and Automata on Linear Orderings Véronique Bruyère Olivier Carton Géraud Sénizergues Wed 01 January 2014
- Termination of Linear Bounded Term Rewriting Systems Géraud Sénizergues Marc Sylvestre Irène A. Durand Wed 01 January 2014
- Rapport d'activité - LaBRI AAVV Wed 01 January 2014
- Research themes of the research group Plume in LIP (Lyon) urlhttp://www.ens-lyon.fr/LIP/PLUME/Topics N/A Wed 01 January 2014
- Research themes of the research group Formal Methods in LaBRI (Bordeaux) urlhttp://www.labri.fr/index.phpn=MF.MF N/A Wed 01 January 2014
- Reachability of nonsynchronized choice Petri nets and its applications D.Y. Chao Sun 29 December 2013
- Security Policies as Membranes in Systems for Global Computing D. Gorla M. Hennessy V. Sassone Sun 29 December 2013
- Bouziane's Transformation of the Petri Net Reachability Problem and Incorrectness of the Related Algorithm Petr Jančar Sun 29 December 2013
- Perfect-Information Stochastic Mean-Payoff Parity Games Krishnendu Chatterjee Laurent Doyen Hugo Gimbert Youssouf Oualhadj Sat 28 December 2013
- On Axiomatic Systems in Mathematics and Theories in Physics Robin Gandy Sat 28 December 2013
- Techniques modulo pour les bisimulations Damien Pous Sat 28 December 2013
- Normalization by Evaluation and Algebraic Effects Danel Ahman Sam Staton Sat 28 December 2013
- Senescent Ground Tree Rewrite Systems Matthew Hague Sat 28 December 2013
- Construction of Pushout Complements in the Category of Hypergraphs Marvin Heumuller Salil Joshi Barbara Kønig Jan Stuckrath Sat 28 December 2013
- Well-partial orderings and hierarchies D. H. J. De Jongh Rohit Parikh Sat 28 December 2013
- On the Representation of Stream Functions in Denotational Domains Colin Riba Sat 28 December 2013
- Intersection Types with Subtyping by Means of Cut Elimination Olivier Laurent Sat 28 December 2013
- Hardware Specification with Temporal Logic: An Example G.V. Bochmann Sat 28 December 2013
Library Size: 13G (12983 entries),
Last Updated: Apr 23, 2026, 14:40:46,
Build Time: N/A
