Characterization Results for d-{H}orn Formulas

C. Areces; V. Becher; S. Ferro

Conference Papers Year : 1998

Characterization Results for d-{H}orn Formulas

, ,

C. Areces

Function : Author

V. Becher

Function : Author

S. Ferro

Function : Author

Areces Carlos : Connect in order to contact the contributor

https://inria.hal.science/inria-00000303

Submitted on : Friday, September 23, 2005-4:39:30 PM

Last modification on : Friday, September 23, 2005-4:39:30 PM

Dates and versions

inria-00000303 , version 1 (23-09-2005)

Identifiers

HAL Id : inria-00000303 , version 1

Cite

C. Areces, V. Becher, S. Ferro. Characterization Results for d-{H}orn Formulas. Proceedings of ITALLC'98. Information Theoretic Approaches to Logic, Language and Computation, 1998, Hsi-Tow, Taiwan. ⟨inria-00000303⟩

Characterization Results for d-{H}orn Formulas

Dates and versions

Identifiers

Cite

Export

Share