DMCA

Constructively Formalizing Automata Theory (1997)

Cached

Download Links

by Robert L. Constable , Paul B. Jackson , Pavel Naumov , Juan Uribe
Venue:Proof, Language and Interaction: Essays in Honour of Robert Milner
Citations:10 - 0 self