Decidability of bounded second order unification
type: Item
instance of: scholarly article
title: Decidability of bounded second order unification
zbMATH Open document ID: 1078.68139
author: Manfred Schmidt-Schauß
published in: Information and Computation
publication date: 2004-11-23T00:00:00Z
full work available at URL: bouncsl.pdf
Mathematics Subject Classification ID: 68T15
Mathematics Subject Classification ID: 03B35
Mathematics Subject Classification ID: 03B40
Mathematics Subject Classification ID: 03B25
Mathematics Subject Classification ID: 68Q42
zbMATH DE Number: 2118430
zbMATH Keywords: Unification
zbMATH Keywords: Second-order unification
zbMATH Keywords: Lambda calculus
zbMATH Keywords: Context unification
zbMATH Keywords: Automated deduction
zbMATH Keywords: Rewriting
zbMATH Keywords: Higher-order unification
zbMATH Keywords: Logics in artificial intelligence
MaRDI profile type: Publication
OpenAlex ID: W2096032711
cites work: Q4296747
cites work: Completion of rewrite systems with membership constraints. I: Deduction rules
cites work: Completion of rewrite systems with membership constraints. II: Constraint solving
cites work: Proving termination with multiset orderings
cites work: Q4393480
cites work: A unification algorithm for second-order monadic terms
cites work: Q4198056
cites work: The undecidability of the second-order unification problem
cites work: A unification algorithm for typed \(\overline\lambda\)-calculus
cites work: Q3838759
cites work: On the undecidability of second-order unification
cites work: Linear second-order unification
cites work: THE PROBLEM OF SOLVABILITY OF EQUATIONS IN A FREE SEMIGROUP
cites work: Satisfiability of word equations with constants is in NEXPTIME
cites work: Q3838760
cites work: Q4263157
cites work: Solvability of context equations with two context variables is decidable
cites work: A decision algorithm for distributive unification
cites work: A Decision Algorithm for Stratified Context Unification
cites work: Higher-order unification revisited: Complete sets of transformations
DOI: 10.1016/J.IC.2003.08.002
description: scientific article; zbMATH DE number 2118430