Characterization Results for d-{H}orn Formulas - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 1998

Characterization Results for d-{H}orn Formulas

C. Areces , V. Becher , S. Ferro
C. Areces
  • Fonction : Auteur
V. Becher
  • Fonction : Auteur
S. Ferro
  • Fonction : Auteur

Areces Carlos  : Connectez-vous pour contacter le contributeur

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

Soumis le : vendredi 23 septembre 2005-16:39:30

Dernière modification le : vendredi 23 septembre 2005-16:39:30

Fichier non déposé

Dates et versions

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

Identifiants

  • HAL Id : inria-00000303 , version 1

Citer

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite
4 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More