MPG.eBooks - Search Results - "first-order logic"

Cover Image

1

Automated Deduction – CADE-20 : 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings

Published 2005

Springer Berlin Heidelberg

Table of Contents: “...What Do We Know When We Know That a Theory Is Consistent? -- Reflecting Proofs in First-Order Logic...”

Cover Image

2

Rewriting Techniques and Applications : 14th International Conference, RTA 2003, Valencia, Spain, June 9-11, 2003, Proceedings

Published 2003

Springer Berlin Heidelberg

Table of Contents: “...-Order Logic and Application to Cryptographic Protocols -- An E-unification Algorithm for Analyzing...”