Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
422817 | Electronic Notes in Theoretical Computer Science | 2009 | 16 Pages |
Abstract
In this paper, we start the study of polymodal neighbourhood languages. We provide a completeness result for the basic polymodal neighbourhood system and show how some important systems based on neighbourhood like semantics can be simulated as subsystems of ours.
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics