On subsumption and semiunification in feature algebras

DOI10.1016/S0747-7171(08)80107-1MaRDI QIDQ1194340zbMATH OpenOpenAlexFDO

Authors Jochen Dörre, William C. Rounds

Publication date 27 September 1992

Published in Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/s0747-7171(08)80107-1

zbMATH Keywords

algebra homomorphismfeature algebrasgeneralization of term subsumptionsemiunificationunification

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30)

Recommendations

• Feature-constraint logics for unification grammars
• The Logic of Typed Feature Structures
• On the expressivity of feature logics with negation, functional uncertainty, and sort equations
• Semi-unification
• scientific article; zbMATH DE number 4092757

Cites work

• A theory of type polymorphism in programming
• Feature-constraint logics for unification grammars
• scientific article; zbMATH DE number 4180772 (Why is no real title available?)
• scientific article; zbMATH DE number 4166932 (Why is no real title available?)
• scientific article; zbMATH DE number 4080882 (Why is no real title available?)
• scientific article; zbMATH DE number 42737 (Why is no real title available?)
• scientific article; zbMATH DE number 43017 (Why is no real title available?)
• scientific article; zbMATH DE number 549955 (Why is no real title available?)
• scientific article; zbMATH DE number 3110205 (Why is no real title available?)
• Recursive unsolvability of group theoretic problems
• The implication problem for functional and inclusion dependencies
• The Principal Type-Scheme of an Object in Combinatory Logic
• The undecidability of the semi-unification problem
• The word problem for cancellation semigroups with zero
• Unsolvability of the universal theory of finite groups

Cited in

(5)

• Ordering constraints over feature trees expressed in second-order monadic logic.
• Fibred semantics for feature-based grammar logic
• scientific article; zbMATH DE number 4166932 (Why is no real title available?)
• scientific article; zbMATH DE number 67967 (Why is no real title available?)
• scientific article; zbMATH DE number 1952665 (Why is no real title available?)

Describes a project that uses

Uses Software

• ML

This page was built for publication: On subsumption and semiunification in feature algebras

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1194340)