inria-00094787, version 1
Dominance Constraints in Stratified Context Unification
Information Processing Letters 101, 4 (2007) 141-147
Abstract: 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é des Sciences et Technologies de Lille - Lille I : EA3588 – Université Charles de Gaulle - Lille III
- Domain : Computer Science/Logic in Computer Science
- inria-00094787, version 1
- http://hal.inria.fr/inria-00094787
- oai:hal.inria.fr:inria-00094787
- From: Joachim Niehren
- Submitted on: Saturday, 16 September 2006 14:35:49
- Updated on: Monday, 14 December 2009 21:48:59
Associated documents
Export