On the undecidability of second-order unification
type: Item
instance of: scholarly article
title: On the undecidability of second-order unification
zbMATH Open document ID: 1005.03007
author: Jordi Levy
author: Margus Veanes
published in: Information and Computation
publication date: 2003-01-14T00:00:00Z
Mathematics Subject Classification ID: 03B35
Mathematics Subject Classification ID: 03D35
Mathematics Subject Classification ID: 68Q42
Mathematics Subject Classification ID: 68T15
Mathematics Subject Classification ID: 68W30
zbMATH DE Number: 1853107
zbMATH Keywords: second-order unification
zbMATH Keywords: undecidability
MaRDI profile type: Publication
full work available at URL: inco.2000.2877
OpenAlex ID: W2150481709
cites work: Tree generating regular systems
cites work: Q4218930
cites work: Q4938629
cites work: The undecidability of simultaneous rigid E-unification
cites work: Q3129297
cites work: Q4035236
cites work: Third order matching is decidable
cites work: A unification algorithm for second-order monadic terms
cites work: Simple second-order languages for which unification is undecidable
cites work: Q4249176
cites work: The undecidability of the second-order unification problem
cites work: Logic with equality: Partisan corroboration and shifted pairing
cites work: Monadic simultaneous rigid E-unification and related problems
cites work: Q4722037
cites work: Q5592246
cites work: The undecidability of unification in third order logic
cites work: Proving and applying program transformations expressed with second-order patterns
cites work: Linear second-order unification
cites work: Q3838759
cites work: THE PROBLEM OF SOLVABILITY OF EQUATIONS IN A FREE SEMIGROUP
cites work: On equality up-to constraints over finite trees, context unification, and one-step rewriting
cites work: A Complete Mechanization of Second-Order Type Theory
cites work: Decidable higher-order unification problems
cites work: Q4936123
cites work: Decidability of the unification problem for second-order languages with unary functional symbols
DOI: 10.1006/INCO.2000.2877
description: scientific article; zbMATH DE number 1853107