On rewrite constraints and context unification
type: Item
instance of: scholarly article
title: On rewrite constraints and context unification
zbMATH Open document ID: 1014.68076
DOI: 10.1016/S0020-0190(00)00036-3
author: Joachim Niehren
author: Sophie Tison
author: Ralf Treinen
published in: Information Processing Letters
publication date: 2002-07-25T00:00:00Z
Mathematics Subject Classification ID: 68Q42
Mathematics Subject Classification ID: 68T15
zbMATH DE Number: 1771758
zbMATH Keywords: stratified context unification
zbMATH Keywords: rewriting constraints
MaRDI profile type: Publication
cites work: Encompassment properties and automata with constraints
cites work: Q4938600
cites work: Completion of rewrite systems with membership constraints. I: Deduction rules
cites work: The undecidability of the second-order unification problem
cites work: Linear second-order unification
cites work: Bi-rewrite systems
cites work: Q4938601
cites work: Q4159542
cites work: Undecidability of the first order theory of one-step right ground rewriting
cites work: Q2762878
cites work: On equality up-to constraints over finite trees, context unification, and one-step rewriting
cites work: Decidability of unification in the theory of one-sided distributivity and a multiplicative unit
cites work: Decidability of bounded second order unification
cites work: Solvability of context equations with two context variables is decidable
cites work: Grid structures and undecidable constraint theories
cites work: The first-order theory of one-step rewriting is undecidable
cites work: The first-order theory of one step rewriting in linear noetherian systems is undecidable
description: scientific article; zbMATH DE number 1771758