Dominance Constraints in Stratified Context Unification
Résumé
We express dominance constraints in the once-only nesting fragment of stratified context unification, which therefore is NP-complete.
Domaines
Logique en informatique [cs.LO]
Loading...