June 2002 Fourth International Symposium on Theoretical Aspects of Computer Software (TACS2001)
Takayasu Ito
Bull. Symbolic Logic 8(2): 321-321 (June 2002). DOI: 10.2178/bsl/1182353885
First Page PDF

Sorry, your browser doesn't support embedded PDFs, Download First Page

JOURNAL ARTICLE
1 PAGES

This article is only available to subscribers.
It is not available for individual sale.
+ SAVE TO MY LIBRARY

Vol.8 • No. 2 • June 2002
Back to Top