- Global renaming operators in concrete process algebra J.C.M. Baeten J.A. Bergstra Fri 02 March 2012
- Non-uniform automata over groups David A. Mix Barrington Howard Straubing Denis Thérien Fri 02 March 2012
- CCS expressions, finite state processes, and three problems of equivalence Paris C. Kanellakis Scott A. Smolka Fri 02 March 2012
- On measuring nondeterminism in regular languages Jonathan Goldstine C.M.R. Kintala Detlef Wotschke Fri 02 March 2012
- Symbolic model checking: 1020 States and beyond J.R. Burch E.M. Clarke K.L. McMillan D.L. Dill L.J. Hwang Fri 02 March 2012
- Ordinal complexity of recursive definitions M.V.H. Fairtlough S.S. Wainer Fri 02 March 2012
- Parallel recognition of series-parallel graphs David Eppstein Fri 02 March 2012
- A unified approach for deciding the existence of certain petri net paths Hsu-Chun Yen Fri 02 March 2012
- Approximation capabilities of multilayer feedforward networks Kurt Hornik Fri 02 March 2012
- Nash and correlated equilibria: Some complexity considerations Itzhak Gilboa Eitan Zemel Fri 02 March 2012
- Well-partial orderings and hierarchies D.H.J de Jongh Rohit Parikh Fri 02 March 2012
- Algebraic theory of Penrosetextquotesingles non-periodic tilings of the plane. II N.G. de Bruijn Fri 02 March 2012
- AN n log n ALGORITHM FOR MINIMIZING STATES IN A FINITE AUTOMATON John Hopcroft Fri 02 March 2012
- MODEL-THEORETIC METHODS IN THE STUDY OF ELEMENTARY LOGIC WILLIAM HANF Fri 02 March 2012
- Equivalence and Preorder Checking for Finite-State Systems Rance Cleaveland Oleg Sokolsky Fri 02 March 2012
- On the growth of linear languages Tullio Ceccherini-Silberstein Fri 02 March 2012
- Hrushovski's algorithm for computing the Galois group of a linear differential equation Ruyong Feng Fri 02 March 2012
- Infinite products involving Dirichlet characters and cyclotomic polynomials Karl Dilcher Christophe Vignat Fri 02 March 2012
- The weak theory of monads Gabriella Böhm Fri 02 March 2012
- Pseudo-commutativity of KZ 2-monads Ignacio López Franco Fri 02 March 2012
Library Size: 13G (12949 entries),
Last Updated: Apr 11, 2026, 18:05:34,
Build Time: N/A
