Search by property

This page provides a simple browsing interface for finding entities described by a property and a named value. Other available search interfaces include the page property search, and the ask query builder.

List of results

• A Note on Unification Type Zero  + (1988)
• Unification in Commutative Idempotent Monoids  + (1988)
• Veröffentlichungen in 1988  + (1988)

• Unifikation und Reduktionssysteme für Halbgruppenvarietäten  + (1989)
• Characterizations of Unification Type Zero  + (1989)
• Unification in Commutative Theories  + (1989)
• Unification Properties of Commutative Theories: A Categorical Treatment  + (1989)
• Veröffentlichungen in 1989  + (1989)
• Foundations of Equational Logic Programming (Lecture Notes in Artificial Intelligence, Vol. 353)  + (1989)
• Unification, Weak Unification, Upper Bound, Lower Bound and Generalization Problems  + (1990)
• Unification in Commutative Theories, Hilbert's Basis Theorem and Gröbner Bases  + (1990)
• Terminological Knowledge Representation: A Proposal for a Terminological Logic  + (1990)
• KRIS: Knowledge Representation and Inference System, System Description  + (1990)
• Adding Homomorphisms to Commutative/Monoidal Theories, or: How Algebra Can Help in Equational Unification  + (1990)
• Augmenting Concept Languages by Transitive Closure of Roles: An Alternative to Terminological Cycles  + (1990)
• Concept Logic  + (1990)
• A Formal Definition for Expressive Power of Knowledge Representation Languages  + (1990)
• Terminological Cycles in KL-ONE-based Knowledge Representation Languages  + (1990)
• Concept Logic  + (1990)
• A Formal Definition for Expressive Power of Knowledge Representation Languages  + (1990)
• Rewrite Systems for Varieties of Semigroups  + (1990)
• Terminological Cycles in KL-ONE-based Knowledge Representation Languages  + (1990)
• Veröffentlichungen in 1990  + (1990)
• Qualifying Number Restrictions in Concept Languages  + (1991)
• Unification in the Union of Disjoint Equational Theories: Combining Decision Procedures  + (1991)
• A Scheme for Integrating Concrete Domains into Concept Languages  + (1991)
• Qualifying Number Restrictions in Concept Languages  + (1991)
• On the Expressivity of Feature Logics with Negation, Functional Uncertainty, and Sort Equations  + (1991)
• Adding Homomorphisms to Commutative/Monoidal Theories, or: How Algebra Can Help in Equational Unification  + (1991)
• KRIS: Knowledge Representation and Inference System, System Description  + (1991)
• A Terminological Knowledge Representation System with Complete Inference Algorithms  + (1991)
• A Scheme for Integrating Concrete Domains into Concept Languages  + (1991)
• Unification in Varieties of Completely Regular Semigroups  + (1991)
• Unification Theory  + (1991)
• Unification, Weak Unification, Upper Bound, Lower Bound and Generalization Problems  + (1991)
• Augmenting Concept Languages by Transitive Closure of Roles: An Alternative to Terminological Cycles  + (1991)
• Veröffentlichungen in 1991  + (1991)
• The Consistency of a Noninterleaving and an Interleaving Model for Full TCSP  + (1991)
• General A- and AX-Unification via Optimized Combination Procedures  + (1992)
• LATPub37  + (1992)
• 6th Workshop on Unification  + (1992)
• How to Prefer More Specific Defaults in Terminological Default Logic  + (1992)
• Extensions of Concept Languages for a Mechanical Engineering Application  + (1992)