Ebook: Graph-Based Proof Procedures for Horn Clauses
Author: Stan Raatz (auth.)
- Series: Progress in Computer Science and Applied Logic 10
- Year: 1990
- Publisher: Birkhäuser Boston
- Language: English
- pdf
Preliminaries.- A Semantics for the Hornlog System.- The Hornlog Proof Procedure.- Soundness and Completeness Results I.- An Equational Extension.- The He � Refutation Method.- Soundness and Completeness Results II.- Appendix: Implementation Issues.
Preliminaries.- A Semantics for the Hornlog System.- The Hornlog Proof Procedure.- Soundness and Completeness Results I.- An Equational Extension.- The He ᾠRefutation Method.- Soundness and Completeness Results II.- Appendix: Implementation Issues.
Preliminaries.- A Semantics for the Hornlog System.- The Hornlog Proof Procedure.- Soundness and Completeness Results I.- An Equational Extension.- The He ᾠRefutation Method.- Soundness and Completeness Results II.- Appendix: Implementation Issues.
Download the book Graph-Based Proof Procedures for Horn Clauses for free or read online
Continue reading on any device:
Last viewed books
Related books
{related-news}
Comments (0)