Constructive Description Logic cALC as a Type System for Semantic Streams in the Domain of Auditing
Mendler, Michael; Scheele, Stephan (2008): Constructive Description Logic cALC as a Type System for Semantic Streams in the Domain of Auditing, in: Berndt Farwer, Berndt Farwer, und Berndt Farwer (Hrsg.), Proceedings of the 1st International Workshop on Logics for Agents and Mobility 2008, Hamburg: Bibliothek des Dep. Informatik, Univ.
Faculty/Chair:
Author:
 ; 
Title of the compilation:
Proceedings of the 1st International Workshop on Logics for Agents and Mobility 2008
Editors:
Farwer, Berndt
Corporate Body:
Universität Hamburg, Department Informatik
Conference:
1st International Workshop on Logics for Agents and Mobility 2008, LAM'08 ; Hamburg
Publisher Information:
Year of publication:
2008
Language:
English
Type:
Conferenceobject
URI:
Activation date:
September 24, 2014

Question on publication

Contact the FIS team
Permalink https://fis.uni-bamberg.de/handle/uniba/18088