Search alternatives:
anti-provers » anti-proverbs, anti-proves, anti-provens, anti-proveds, anti-provess
anti-providers » anti-provides, anti-provider, anti-provide
anti-prover » anti-proven, anti-proved, anti-proves
Cover Image
Read Now

1
Published 1986
Springer Berlin Heidelberg
Table of Contents: “... in the dynamic logic of recursively enumerable programs -- A prolog machine -- A prolog technology theorem prover...”
Cover Image
Read Now

2
Published 2023
Springer Nature Switzerland
Table of Contents: “...-Typed Higher-Order Logic -- Towards Fast Nominal Anti-Unification of Letrec-Expressions -- Confluence...”