Attribut:Typ
Aus International Center for Computational Logic
Dies ist eine Eigenschaft des Typs Zeichenkette.
A
LTCS-Report +
A Description Logic with Transitive and Converse Roles, Role Hierarchies and Qualifying Number Restrictions +
LTCS-Report +
{DFKI} Research Report +
LTCS-Report +
LTCS-Report +
A Graph-Theoretic Generalization of the Least Common Subsumer and the Most Specific Concept in the Description Logic EL +
LTCS-Report +
Technical Report +
A New Approach for Combining Decision Procedures for the Word Problem, and Its Connection to the Nelson-Oppen Combination Method +
LTCS-Report +
A New Combination Procedure for the Word Problem that Generalizes Fusion Decidability Results in Modal Logics +
LTCS-Report +
LTCS-Report +
{DFKI} Research Report +
{DFKI} Research Report +