inria-00094787, version 1
Dominance Constraints in Stratified Context Unification
Information Processing Letters 101, 4 (2007) 141-147
Résumé : We express dominance constraints in the once-only nesting fragment of stratified context unification, which therefore is NP-complete.
- 1 : Computer Science Department [Austin]
- University of Texas at Austin
- 2 : MOSTRARE (INRIA Futurs)
- INRIA – CNRS : UMR8022 – Université Lille 1 - Sciences et Technologies : EA3588 – Université Charles de Gaulle - Lille III
- Domaine : Informatique/Logique en informatique
- inria-00094787, version 1
- http://hal.inria.fr/inria-00094787
- oai:hal.inria.fr:inria-00094787
- Contributeur : Joachim Niehren
- Soumis le : Samedi 16 Septembre 2006, 14:35:49
- Dernière modification le : Lundi 14 Décembre 2009, 21:48:59
Documents associés
Exporter