Dominance Constraints in Stratified Context Unification - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Article Dans Une Revue Information Processing Letters Année : 2007

Dominance Constraints in Stratified Context Unification

Résumé

We express dominance constraints in the once-only nesting fragment of stratified context unification, which therefore is NP-complete.

Domaines

Logique en informatique [cs.LO]
Fichier principal
Vignette du fichier
final.pdf (96.82 Ko) Télécharger le fichier

Joachim Niehren  : Connectez-vous pour contacter le contributeur

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

Soumis le : samedi 16 septembre 2006-14:35:49

Dernière modification le : vendredi 24 mars 2023-14:52:48

Archivage à long terme le : mardi 6 avril 2010-00:57:54

Télécharger pour visualiser

Dates et versions

inria-00094787 , version 1 (16-09-2006)

Identifiants

Citer

Katrin Erk, Joachim Niehren. Dominance Constraints in Stratified Context Unification. Information Processing Letters, 2007, 101 (4), pp.141-147. ⟨10.1016/j.ipl.2006.09.009⟩. ⟨inria-00094787⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-LILLE3 CNRS INRIA MOSTRARE INRIA2
117 Consultations
192 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More