28532 articles – 22057 Notices  [english version]

inria-00094787, version 1

Dominance Constraints in Stratified Context Unification

Katrin Erk 1, Joachim Niehren () 2

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 I - Sciences et technologies – Université Lille III - Sciences humaines et sociales
  • 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