Clause Horn

7 books
A formal basis for Horn clause logic with external polymorphic functionsStaffan Bonnier
⏱ 2h 51m

A formal basis for Horn clause logic with external polymorphic functions

Staffan Bonnier

1992171 pp.
Computing in Horn clause theoriesPeter Padawitz
⏱ 5h 22m

Computing in Horn clause theories

Peter Padawitz

1988322 pp.
GCLAMartin Aronsson
⏱ 3h 45m

GCLA

Martin Aronsson

1993225 pp.
Ein für Hornklauselmengen lineares, allgemeines aussagenlogisches BeweisverfahrenJoachim F. Schreiber
⏱ 2h 43m

Ein für Hornklauselmengen lineares, allgemeines aussagenlogisches Beweisverfahren

Joachim F. Schreiber

1996163 pp.
Graph-based proof procedures for horn clausesStan Raatz
⏱ 2h 27m

Graph-based proof procedures for horn clauses

Stan Raatz

1990147 pp.
Parallel logic programmingEvan Tick
⏱ 8h 6m

Parallel logic programming

Evan Tick

1991486 pp.
Propositional logicH. Kleine Büning
⏱ 6h 55m

Propositional logic

H. Kleine Büning

1999415 pp.