Characterisation results for d-Horn Formulas

Authors
  • C.E. Areces
Publication date 1998
Book title Proc. ITALLC98
ISBN
  • -
Series -, -
Publisher Stanford: CSLI Publications
Organisations
  • Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
Document type Chapter
Note -
Gebeurtenis: -
Permalink to this page
Back