Browse by Journal and Volume

Group by: Author(s) | Date | School | No Grouping

Jump to: 2004

Number of items: 1.

2004

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.

This list was generated on Sun Dec 22 04:33:31 2024 GMT.

Export as	Atom RSS