Sign in
A Proof of Choffrut's Theorem on Subsequential Functions.
Véronique Bruyère
Christophe Reutenauer
Published in:
Theor. Comput. Sci. (1999)
Keyphrases
</>
interactive theorem proving
e learning
metadata
search algorithm
theorem prover
theorem proving