Search alternatives:
complete verifiable » complete variable, complete decidable, complete verification
functions » function
Cover Image
Read Now

1
Published 1994
Springer Berlin Heidelberg
Table of Contents: “... and weakly complete problems -- Deterministic ? automata vis-a-vis deterministic Buchi automata -- Quantum...”