Goals in the prepositional Horn⊃ language are monotone Boolean circuits

  1. Gaintzarain, J.
  2. Hermo, M.
  3. Navarro, M.
Proceedings:
Lecture Notes in Computer Science

ISSN: 0302-9743

Year of publication: 2005

Volume: 3618

Pages: 376-386

Type: Conference paper