Suche mittels Attribut

Diese Seite stellt eine einfache Suchoberfläche zum Finden von Objekten bereit, die ein Attribut mit einem bestimmten Datenwert enthalten. Andere verfügbare Suchoberflächen sind die Attributsuche sowie der Abfragengenerator.

Liste der Ergebnisse

• Publications in 2001  + (24. März 2015, 09:15:38)
• Publications in 2000  + (24. März 2015, 09:16:08)
• Publications in 1999  + (24. März 2015, 09:16:39)
• Publications in 1998  + (24. März 2015, 09:17:10)
• Publications in 1997  + (24. März 2015, 09:17:33)
• Publications in 1996  + (24. März 2015, 09:17:46)
• Publications in 1995  + (24. März 2015, 09:18:04)
• Publications in 1994  + (24. März 2015, 09:18:16)
• Publications in 1993  + (24. März 2015, 09:18:29)
• Publications in 1992  + (24. März 2015, 09:18:42)
• Publications in 1991  + (24. März 2015, 09:18:54)
• Publications in 1990  + (24. März 2015, 09:19:07)
• Publications in 1989  + (24. März 2015, 09:19:23)
• Publications in 1988  + (24. März 2015, 09:19:35)
• Publications in 1987  + (24. März 2015, 09:19:47)
• Publications in 1986  + (24. März 2015, 09:19:58)
• Publications in 1985  + (24. März 2015, 09:20:09)
• Foundations of Databases and Query Languages  + (24. März 2015, 17:33:12)
• Unifikation und Reduktionssysteme für Halbgruppenvarietäten  + (25. März 2015, 13:37:55)
• LATPub2  + (25. März 2015, 13:37:57)
• Unification in Commutative Idempotent Monoids  + (25. März 2015, 13:37:59)
• Unification in Varieties of Idempotent Semigroups  + (25. März 2015, 13:38:00)
• Characterizations of Unification Type Zero  + (25. März 2015, 13:38:02)
• Unification in Commutative Theories  + (25. März 2015, 13:38:04)
• The Theory of Idempotent Semigroups is of Unification Type Zero  + (25. März 2015, 13:38:05)

• A Note on Unification Type Zero  + (25. März 2015, 13:38:07)

• Unification Properties of Commutative Theories: A Categorical Treatment  + (25. März 2015, 13:38:08)
• Unification, Weak Unification, Upper Bound, Lower Bound and Generalization Problems  + (25. März 2015, 13:38:10)
• Unification in Commutative Theories, Hilbert's Basis Theorem and Gröbner Bases  + (25. März 2015, 13:38:12)
• Terminological Knowledge Representation: A Proposal for a Terminological Logic  + (25. März 2015, 13:38:13)
• KRIS: Knowledge Representation and Inference System, System Description  + (25. März 2015, 13:38:15)
• Adding Homomorphisms to Commutative/Monoidal Theories, or: How Algebra Can Help in Equational Unification  + (25. März 2015, 13:38:17)
• Augmenting Concept Languages by Transitive Closure of Roles: An Alternative to Terminological Cycles  + (25. März 2015, 13:38:18)
• Concept Logic  + (25. März 2015, 13:38:20)
• A Formal Definition for Expressive Power of Knowledge Representation Languages  + (25. März 2015, 13:38:22)
• Terminological Cycles in KL-ONE-based Knowledge Representation Languages  + (25. März 2015, 13:38:23)
• Concept Logic  + (25. März 2015, 13:38:25)
• A Formal Definition for Expressive Power of Knowledge Representation Languages  + (25. März 2015, 13:38:27)
• Rewrite Systems for Varieties of Semigroups  + (25. März 2015, 13:38:28)
• Terminological Cycles in KL-ONE-based Knowledge Representation Languages  + (25. März 2015, 13:38:30)
• Qualifying Number Restrictions in Concept Languages  + (25. März 2015, 13:38:31)
• Unification in the Union of Disjoint Equational Theories: Combining Decision Procedures  + (25. März 2015, 13:38:33)
• A Scheme for Integrating Concrete Domains into Concept Languages  + (25. März 2015, 13:38:35)
• Qualifying Number Restrictions in Concept Languages  + (25. März 2015, 13:38:36)
• On the Expressivity of Feature Logics with Negation, Functional Uncertainty, and Sort Equations  + (25. März 2015, 13:38:38)
• General A- and AX-Unification via Optimized Combination Procedures  + (25. März 2015, 13:38:40)
• Adding Homomorphisms to Commutative/Monoidal Theories, or: How Algebra Can Help in Equational Unification  + (25. März 2015, 13:38:42)
• KRIS: Knowledge Representation and Inference System, System Description  + (25. März 2015, 13:38:43)
• A Terminological Knowledge Representation System with Complete Inference Algorithms  + (25. März 2015, 13:38:45)
• A Scheme for Integrating Concrete Domains into Concept Languages  + (25. März 2015, 13:38:47)
• Unification in Varieties of Completely Regular Semigroups  + (25. März 2015, 13:38:48)