On subsumption and semiunification in feature algebras
type: Item
instance of: scholarly article
title: On subsumption and semiunification in feature algebras
zbMATH Open document ID: 0780.68073
DOI: 10.1016/S0747-7171(08)80107-1
author: Jochen Dörre
author: William C. Rounds
published in: Journal of Symbolic Computation
publication date: 1992-09-27T00:00:00Z
Mathematics Subject Classification ID: 68W30
zbMATH DE Number: 64255
zbMATH Keywords: generalization of term subsumption
zbMATH Keywords: feature algebras
zbMATH Keywords: algebra homomorphism
zbMATH Keywords: unification
zbMATH Keywords: semiunification
describes a project that uses: ML
MaRDI profile type: Publication
cites work: Q5848908
cites work: Q4287474
cites work: Q3992554
cites work: The Principal Type-Scheme of an Object in Combinatory Logic
cites work: The word problem for cancellation semigroups with zero
cites work: Q3204025
cites work: The undecidability of the semi-unification problem
cites work: Q3811682
cites work: A theory of type polymorphism in programming
cites work: The implication problem for functional and inclusion dependencies
cites work: Recursive unsolvability of group theoretic problems
cites work: Q3493318
cites work: Q3992707
cites work: Unsolvability of the universal theory of finite groups
cites work: Feature-constraint logics for unification grammars
full work available at URL: s0747-7171(08)80107-1
OpenAlex ID: W2104295731
description: scientific article; zbMATH DE number 64255