Characterization Results for d-Horn Formulas

Areces, C., Becher, V., and Ferro, S.. Characterization Results for d-Horn Formulas. In Proceedings of ITALLC'98. Information Theoretic Approaches to Logic, Language and Computation, Hsi-Tow, Taiwan, 1998.

Download: [pdf] 

Abstract:

(unavailable)

BibTeX: (download)

@INPROCEEDINGS{arec:char98,
  author = {Areces, C. and Becher, V. and Ferro, S.},
  title = {Characterization Results for d-{H}orn Formulas},
  booktitle = {Proceedings of ITALLC'98. Information Theoretic Approaches to Logic,
	Language and Computation},
  year = {1998},
  address = {Hsi-Tow, Taiwan},
}

Generated by bib2html.pl (written by Patrick Riley) on Sun Oct 02, 2016 17:05:49