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

1
Published 2004
Springer Berlin Heidelberg
Table of Contents: “... Deduction for Linear Logic -- A Decision Procedure for Equality Logic with Uninterpreted Functions...”