A peirce-style calculus for ALC

Dau, F and Eklund, Peter 2007, A peirce-style calculus for ALC, in Proceedings of the VLL 2007 workshop on Visual Languages and Logic, M. Jeusfeld c/o Redaktion Sun SITE, Informatik V, RWTH Aachen.,, pp. 55-70.

Attached Files
Name Description MIMEType Size Downloads

Title A peirce-style calculus for ALC
Author(s) Dau, F
Eklund, PeterORCID iD for Eklund, Peter orcid.org/0000-0003-2313-8603
Conference name IEEE Symposium on Visual Languages and Human Centric Computing VL/HCC 07
Conference location Coeur d'Aléne, Idaho, USA
Conference dates 2007/09/23 - 2007/09/23
Title of proceedings Proceedings of the VLL 2007 workshop on Visual Languages and Logic
Publication date 2007
Start page 55
End page 70
Total pages 16
Publisher M. Jeusfeld c/o Redaktion Sun SITE, Informatik V, RWTH Aachen.
ISSN 1613-0073
Language eng
Indigenous content off
HERDC Research category EN.1 Other conference paper
Persistent URL http://hdl.handle.net/10536/DRO/DU:30126096

Connect to link resolver
 
Unless expressly stated otherwise, the copyright for items in DRO is owned by the author, with all rights reserved.

Versions
Version Filter Type
Citation counts: TR Web of Science Citation Count  Cited 0 times in TR Web of Science
Scopus Citation Count Cited 0 times in Scopus
Google Scholar Search Google Scholar
Access Statistics: 3 Abstract Views, 0 File Downloads  -  Detailed Statistics
Created: Mon, 15 Jul 2019, 14:11:00 EST

Every reasonable effort has been made to ensure that permission has been obtained for items included in DRO. If you believe that your rights have been infringed by this repository, please contact drosupport@deakin.edu.au.