On The Complemented Disk Algebra

DSpace/Manakin Repository

Search OPUS


Advanced Search

Browse

My Account

Show simple item record

dc.contributor.author Li, S
dc.contributor.author Li, Y
dc.date.accessioned 2010-05-28T09:42:05Z
dc.date.issued 2006-01
dc.identifier.citation Journal Of Logic And Algebraic Programming, 2006, 66 (2), pp. 195 - 211
dc.identifier.issn 1567-8326
dc.identifier.other C1UNSUBMIT en_US
dc.identifier.uri http://hdl.handle.net/10453/8254
dc.description.abstract The importance of relational methods in temporal and spatial reasoning has been widely recognised in the last two decades. A quite large part of contemporary spatial reasoning is concerned with the research of relation algebras generated by the
dc.publisher Elsevier Science Inc
dc.relation.isbasedon 10.1016/j.jlap.2005.04.003
dc.subject Region Connection Calculus, Contact relation algebras, Complemented disk algebra, RCC11 composition table, Extensionality, Computation Theory & Mathematics
dc.subject Region Connection Calculus; Contact relation algebras; Complemented disk algebra; RCC11 composition table; Extensionality; Computation Theory & Mathematics
dc.title On The Complemented Disk Algebra
dc.type Journal Article
dc.parent Journal Of Logic And Algebraic Programming
dc.journal.volume 2
dc.journal.volume 66
dc.journal.number 2 en_US
dc.publocation New York, USA en_US
dc.identifier.startpage 195 en_US
dc.identifier.endpage 211 en_US
dc.cauo.name FEIT.School of Systems, Management and Leadership en_US
dc.conference Verified OK en_US
dc.for 0102 Applied Mathematics
dc.personcode 106033 en_US
dc.personcode 0000020160 en_US
dc.percentage 100 en_US
dc.classification.name Applied Mathematics en_US
dc.classification.type FOR-08 en_US
dc.edition en_US
dc.custom en_US
dc.date.activity en_US
dc.location.activity en_US
dc.description.keywords Region Connection Calculus; Contact relation algebras; Complemented disk algebra; RCC11 composition table; Extensionality en_US
dc.description.keywords Region Connection Calculus
dc.description.keywords Contact relation algebras
dc.description.keywords Complemented disk algebra
dc.description.keywords RCC11 composition table
dc.description.keywords Extensionality
dc.description.keywords Region Connection Calculus
dc.description.keywords Contact relation algebras
dc.description.keywords Complemented disk algebra
dc.description.keywords RCC11 composition table
dc.description.keywords Extensionality
dc.description.keywords Region Connection Calculus
dc.description.keywords Contact relation algebras
dc.description.keywords Complemented disk algebra
dc.description.keywords RCC11 composition table
dc.description.keywords Extensionality
pubs.embargo.period Not known
pubs.organisational-group /University of Technology Sydney
pubs.organisational-group /University of Technology Sydney/Faculty of Engineering and Information Technology
pubs.organisational-group /University of Technology Sydney/Strength - Quantum Computation and Intelligent Systems


Files in this item

This item appears in the following Collection(s)

Show simple item record