MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Constructively formalizing automata theory." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 3 documents found, showing 1 through 3.
ATOM RSS
  • Constructively Formalizing Automata Theory  
  • by Robert L. Constable, Paul B. Jackson, Pavel Naumov, Juan Uribe — 1997 — Proof, Language and Interaction: Essays in Honour of Robert Milner
  • …Constructively Formalizing Automata Theory Robert L. Constable y Paul B. Jackson z Pavel Naumov…
  • Cited by 4 (0 self) – Add To MetaCart
  • Overview of Milner’s work  
  • by Riccardo Pucella — 2001
  • …. Constructively Formalizing Automata Theory. Constable, Jackson, Naumov and Uribe show how one can prove…
  • Add To MetaCart
Help! Showing 1 through 3.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB