Dominance constraints in stratified context unification
type: Item
instance of: scholarly article
title: Dominance constraints in stratified context unification
zbMATH Open document ID: 1185.68386
author: Katrin Erk
author: Joachim Niehren
published in: Information Processing Letters
publication date: 2010-01-29T00:00:00Z
Mathematics Subject Classification ID: 68Q45
zbMATH DE Number: 5664749
zbMATH Keywords: computational logics
zbMATH Keywords: trees
zbMATH Keywords: unification
zbMATH Keywords: formal languages
MaRDI profile type: Publication
full work available at URL: j.ipl.2006.09.009
OpenAlex ID: W2030656394
cites work: Q5501243
cites work: Completion of rewrite systems with membership constraints
cites work: The constraint language for lambda structures
cites work: Conjunctive queries over trees
cites work: Q2762872
cites work: Linear second-order unification
cites work: Logics for Unranked Trees: An Overview
cites work: Automated Deduction – CADE-20
cites work: Stratified Context Unification Is NP-Complete
cites work: Q4159542
cites work: Q2762878
cites work: On rewrite constraints and context unification
cites work: A Decision Algorithm for Stratified Context Unification
cites work: Solvability of context equations with two context variables is decidable
cites work: Q3838760
cites work: Generalized finite automata theory with an application to a decision problem of second-order logic
DOI: 10.1016/J.IPL.2006.09.009
description: scientific article; zbMATH DE number 5664749