Equational unification, word unification, and 2nd-order equational unification
type: Item
instance of: scholarly article
title: Equational unification, word unification, and 2nd-order equational unification
zbMATH Open document ID: 0902.68093
DOI: 10.1016/S0304-3975(97)00130-8
author: Friedrich Otto
author: Paliath Narendran
author: Daniel J. Dougherty
published in: Theoretical Computer Science
publication date: 1998-08-13T00:00:00Z
Mathematics Subject Classification ID: 68Q42
zbMATH DE Number: 1190296
zbMATH Keywords: equational matching and unification
zbMATH Keywords: 2nd-order equational matching and unification
zbMATH Keywords: term-rewriting systems
zbMATH Keywords: string-rewriting systems
MaRDI profile type: Publication
cites work: Q3484358
cites work: Unification in the union of disjoint equational theories: Combining decision procedures
cites work: Q4296748
cites work: Decidable sentences of Church-Rosser congruences
cites work: Q4846257
cites work: Matching - a special case of unification?
cites work: Q4385532
cites work: A unification algorithm for second-order monadic terms
cites work: Two-Processor Scheduling with Start-Times and Deadlines
cites work: The undecidability of the second-order unification problem
cites work: THE PROBLEM OF SOLVABILITY OF EQUATIONS IN A FREE SEMIGROUP
cites work: The word matching problem is undecidable for finite special string-rewriting systems that are confluent
cites work: On two problems related to cancellativity
cites work: Solvability of word equations modulo finite special and confluent string-rewriting systems is undecidable in general
cites work: Some independence results for equational unification
cites work: Linear unification
cites work: A Machine-Oriented Logic Based on the Resolution Principle
cites work: Makanin's algorithm for word equations-two improvements and a generalization
cites work: Some results on equational unification
description: scientific article; zbMATH DE number 1190296