Horn logic, search and satisfiability. A collection of papers in memory of Robert G. Jeroslow
From MaRDI portal
Publication:1356203
zbMath0869.00014MaRDI QIDQ1356203
No author found.
Publication date: 14 August 1997
Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)
Collections of articles of miscellaneous specific interest (00B15) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06)
Related Items
Recognition of \(q\)-Horn formulae in linear time, Bidual Horn functions and extensions, Double Horn functions