Goals in the prepositional Horn⊃ language are monotone Boolean circuits

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

ISSN: 0302-9743

Datum der Publikation: 2005

Ausgabe: 3618

Seiten: 376-386

Art: Konferenz-Beitrag