Browse by Journal and Volume
Up a level |
Jump to: 2003
Number of items: 1.
2003
Chen, Taolue and Han, Tingting and Lu, J. (2003) Intensionality of modal logic for robust ambient calculus. Electronic Notes in Theoretical Computer Science 85 (1), pp. 25-38. ISSN 1571-0661.