


default search action
Theoretical Aspects of Computer Software (TACS)
4. TACS 2001: Sendai, Japan
- Naoki Kobayashi, Benjamin C. Pierce:

Theoretical Aspects of Computer Software, 4th International Symposium, TACS 2001, Sendai, Japan, October 29-31, 2001, Proceedings. Lecture Notes in Computer Science 2215, Springer 2001, ISBN 3-540-42736-8 [contents]
3. TACS 1997: Sendai, Japan
- Martín Abadi, Takayasu Ito:

Theoretical Aspects of Computer Software, Third International Symposium, TACS '97, Sendai, Japan, September 23-26, 1997, Proceedings. Lecture Notes in Computer Science 1281, Springer 1997, ISBN 3-540-63388-X [contents]
2. TACS 1994: Sendai, Japan
- Masami Hagiya, John C. Mitchell:

Theoretical Aspects of Computer Software, International Conference TACS '94, Sendai, Japan, April 19-22, 1994, Proceedings. Lecture Notes in Computer Science 789, Springer 1994, ISBN 3-540-57887-0 [contents]
1. TACS 1991: Sendai, Japan
- Takayasu Ito, Albert R. Meyer:

Theoretical Aspects of Computer Software, International Conference TACS '91, Sendai, Japan, September 24-27, 1991, Proceedings. Lecture Notes in Computer Science 526, Springer 1991, ISBN 3-540-54415-1 [contents]

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














