- Une caracterisation des fonctions sequentielles et des fonctions sous-sequentielles en tant que relations rationnelles Christian Choffrut Fri 02 March 2012
- A new proof of two theorems about rational transductions André Arnold Michel Latteux Fri 02 March 2012
- Finding the intersection of n half-spaces in time O(n log n) F.P. Preparata D.E. Muller Fri 02 March 2012
- Automates a file Bernard Vauquelin Paul Franchi-Zannettacci Fri 02 March 2012
- Negation can be exponentially powerful L.G. Valiant Fri 02 March 2012
- The complexity of partial derivatives Walter Baur Volker Strassen Fri 02 March 2012
- Petri nets and large finite sets Kenneth McAloon Fri 02 March 2012
- Alternating finite automata on ømega-words Satoru Miyano Takeshi Hayashi Fri 02 March 2012
- New NP-hard and NP-complete polynomial and integer divisibility problems David A. Plaisted Fri 02 March 2012
- Rational equivalence relations J.Howard Johnson Fri 02 March 2012
- The complementation problem for Büchi automata with applications to temporal logic A. Prasad Sistla Moshe Y. Vardi Pierre Wolper Fri 02 March 2012
- Derivation of efficient programs for computing sequences of actions Alberto Pettorossi Fri 02 March 2012
- On the finite-valuedness problem for sequential machines Tat-hung Chan Oscar H. Ibarra Fri 02 March 2012
- Characterizing finite Kripke structures in propositional temporal logic M.C. Browne E.M. Clarke O. Grümberg Fri 02 March 2012
- Local model checking in the modal mu-calculus Colin Stirling David Walker Fri 02 March 2012
- Shortest paths without a map Christos H. Papadimitriou Mihalis Yannakakis Fri 02 March 2012
- Hierarchies of weak automata and weak monadic formulas A.W. Mostowski Fri 02 March 2012
- Infinite trees and automaton- definable relations over ømega-words Wolfgang Thomas Fri 02 March 2012
- Recursive ascent parsing: from Earley to Marcus René Leermakers Fri 02 March 2012
- Alphabetic tree relations Symeon Bozapalidis Fri 02 March 2012
Library Size: 13G (12949 entries),
Last Updated: Apr 11, 2026, 18:05:34,
Build Time: N/A
