|
" Graph-based proof procedures for horn clauses "
Stan Raatz.
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
726827
|
| Doc. No
|
:
|
b546559
|
| Main Entry
|
:
|
Stan Raatz.
|
| Title & Author
|
:
|
Graph-based proof procedures for horn clauses\ Stan Raatz.
|
| Publication Statement
|
:
|
Boston: Birkhäuser, 1990
|
| Series Statement
|
:
|
Progress in computer science and applied logic.
|
| Page. NO
|
:
|
147 p. : ill. ; 25 cm
|
| ISBN
|
:
|
0817635300
|
|
|
:
|
: 3764335300
|
|
|
:
|
: 9780817635305
|
|
|
:
|
: 9783764335304
|
| Contents
|
:
|
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.
|
| Subject
|
:
|
Gráfelmélet
|
| Subject
|
:
|
Horn-klóz
|
| Subject
|
:
|
Logikai programozás
|
| LC Classification
|
:
|
QA76.63S736 1990
|
| Added Entry
|
:
|
Stan Raatz
|
| |