Unification of kinded infinite trees
type: Item
instance of: scholarly article
title: Unification of kinded infinite trees
zbMATH Open document ID: 0875.68579
DOI: 10.1016/0020-0190(95)00100-Q
author: Vasco T. Vasconcelos
published in: Information Processing Letters
publication date: 1997-02-27T00:00:00Z
Mathematics Subject Classification ID: 68Q42
Mathematics Subject Classification ID: 68Q55
zbMATH DE Number: 984636
zbMATH Keywords: Algorithms
zbMATH Keywords: Unification
MaRDI profile type: MaRDI publication profile
cites work: On the computational power of pushdown automata
cites work: Fundamental properties of infinite trees
cites work: Complete sets of transformations for general E-unification
full work available at URL: 0020-0190(95)00100-q
OpenAlex ID: W2070784882
description: scientific article; zbMATH DE number 984636