| HAL-Inria | Publications, software ... of Inria's scientists |
Journal articles
Dominance Constraints in Stratified Context Unification
Abstract : We express dominance constraints in the once-only nesting fragment of stratified context unification, which therefore is NP-complete.
Cited literature [22 references]
https://hal.inria.fr/inria-00094787
Contributor : Joachim Niehren Connect in order to contact the contributor
Submitted on : Saturday, September 16, 2006 - 2:35:49 PM
Last modification on : Friday, February 4, 2022 - 3:23:41 AM
Long-term archiving on: : Tuesday, April 6, 2010 - 12:57:54 AM
Contributor : Joachim Niehren Connect in order to contact the contributor
Submitted on : Saturday, September 16, 2006 - 2:35:49 PM
Last modification on : Friday, February 4, 2022 - 3:23:41 AM
Long-term archiving on: : Tuesday, April 6, 2010 - 12:57:54 AM