Search alternatives:
decision library » recursion library, section library, vision library
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...”