Attribut:Archivierungsnummer
Aus International Center for Computational Logic
This is the "number" of a technical report or other document. It can be any string.
1
A
WV-01-01 +
WV-1999-04 +
CoRR abs/1201.4089 +
LTCS-98-01 +
A Description Logic with Transitive and Converse Roles, Role Hierarchies and Qualifying Number Restrictions +
LTCS-99-08 +
A Graph-Theoretic Generalization of the Least Common Subsumer and the Most Specific Concept in the Description Logic EL +
LTCS-04-02 +
A New Approach for Combining Decision Procedures for the Word Problem, and Its Connection to the Nelson-Oppen Combination Method +
LTCS-96-01 +
