Dominance Constraints in Stratified Context Unification

Katrin Erk 1 Joachim Niehren 2
2 MOSTRARE - Modeling Tree Structures, Machine Learning, and Information Extraction
LIFL - Laboratoire d'Informatique Fondamentale de Lille, Inria Lille - Nord Europe
Abstract : We express dominance constraints in the once-only nesting fragment of stratified context unification, which therefore is NP-complete.
Document type :
Journal articles
Complete list of metadatas

Cited literature [22 references]  Display  Hide  Download

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

Identifiers

  • HAL Id : inria-00094787, version 1

Collections

Citation

Katrin Erk, Joachim Niehren. Dominance Constraints in Stratified Context Unification. Information Processing Letters, Elsevier, 2007, 101 (4), pp.141-147. ⟨inria-00094787⟩

Share

Metrics

Record views

332

Files downloads

378