Browse by Journal and Volume
 | Up a level |
Number of items: 1.
Birkbeck Faculties and Schools > Faculty of Science > School of Computing and Mathematical Sciences
Chen, Taolue and Zhou, J. and Han, Tingting and Lu, J. (2004) Checking strong open congruence in χ-calculus. Electronic Notes in Theoretical Computer Science 91 , pp. 4-20. ISSN 1571-0661.