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

1
Published 2008
Springer Berlin Heidelberg
Table of Contents: “...Efficient Hierarchical Reasoning about Functions over Numerical Domains -- A Drum Machine...”