|
Search the dblp DataBase
Klaus Lüttich:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Bernd Krieg-Brückner, Udo Frese, Klaus Lüttich, Christian Mandel, Till Mossakowski, Robert J. Ross
Specification of an Ontology for Route Graphs. [Citation Graph (0, 0)][DBLP] Spatial Cognition, 2004, pp:390-412 [Conf]
- Klaus Lüttich, Till Mossakowski, Bernd Krieg-Brückner
Ontologies for the Semantic Web in Casl. [Citation Graph (0, 0)][DBLP] WADT, 2004, pp:106-125 [Conf]
- Till Mossakowski, Christian Maeder, Klaus Lüttich
The Heterogeneous Tool Set, Hets. [Citation Graph (0, 0)][DBLP] TACAS, 2007, pp:519-522 [Conf]
- Klaus Lüttich, Till Mossakowski
Reasoning Support for Caslwith Automated Theorem Proving Systems. [Citation Graph (0, 0)][DBLP] WADT, 2006, pp:74-91 [Conf]
The Heterogeneous Tool Set (Hets). [Citation Graph (, )][DBLP]
Approximation of Ontologies in CASL. [Citation Graph (, )][DBLP]
Development of Modular Ontologies in CASL. [Citation Graph (, )][DBLP]
Search in 0.003secs, Finished in 0.004secs
|