Feasible Proofs of Szpilrajn's Theorem - A Proof-Complexity Framework for Concurrent Automata.

Published in: J. Autom. Lang. Comb. (2011)

Keyphrases

interactive theorem proving
theoretical framework
theorem prover
formal proof
information systems
website
query language
cellular automata
conceptual framework
logical framework