4 results
Fourth International Symposium on Theoretical Aspects of Computer Software (TACS2001)
-
- Journal:
- Bulletin of Symbolic Logic / Volume 8 / Issue 2 / June 2002
- Published online by Cambridge University Press:
- 15 January 2014, p. 321
- Print publication:
- June 2002
-
- Article
- Export citation
International Conference on Theoretical Computer Science (IFIP TCS2000)
-
- Journal:
- Bulletin of Symbolic Logic / Volume 7 / Issue 2 / June 2001
- Published online by Cambridge University Press:
- 15 January 2014, pp. 291-292
- Print publication:
- June 2001
-
- Article
- Export citation
International Symposia on Theoretical Aspects of Computer Science: TACS '97, TACS ‘94, and TACS ' 91
-
- Journal:
- Bulletin of Symbolic Logic / Volume 4 / Issue 2 / June 1998
- Published online by Cambridge University Press:
- 15 January 2014, pp. 227-228
- Print publication:
- June 1998
-
- Article
- Export citation
The International Conference on Theoretical Aspects of Computer Science, Sendai, 1991
-
- Journal:
- The Journal of Symbolic Logic / Volume 58 / Issue 1 / March 1993
- Published online by Cambridge University Press:
- 12 March 2014, p. 369
- Print publication:
- March 1993
-
- Article
- Export citation