Search alternatives:
complete verifiable » complete variable, complete verification, computing verifiable
complete decidable » complete decimal, complete decidability, complete datatable
functions » function

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