| 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 <>
Submitted on : Saturday, September 16, 2006 - 2:35:49 PM
Last modification on : Thursday, February 21, 2019 - 10:52:49 AM
Long-term archiving on: : Tuesday, April 6, 2010 - 12:57:54 AM
Contributor : Joachim Niehren <>
Submitted on : Saturday, September 16, 2006 - 2:35:49 PM
Last modification on : Thursday, February 21, 2019 - 10:52:49 AM
Long-term archiving on: : Tuesday, April 6, 2010 - 12:57:54 AM