Goals in the prepositional Horn⊃ language are monotone Boolean circuits

  1. Gaintzarain, J.
  2. Hermo, M.
  3. Navarro, M.
Actes de conférence:
Lecture Notes in Computer Science

ISSN: 0302-9743

Année de publication: 2005

Volumen: 3618

Pages: 376-386

Type: Communication dans un congrès