Knowledge Base of
Publications,
Seminars,
& Math Library
PhD theses from the project are accessible at the NCSTRL web site.
Filter for: Juan Uribe
1 results
Formalizing Automata Theory I: Finite Automata
| cite »
by Robert L. Constable, Paul B. Jackson, Pavel Naumov, Juan Uribe
1996