1. TACS 1991:
Sendai,
Japan
Takayasu Ito, Albert R. Meyer (Eds.):
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 
@proceedings{DBLP:conf/tacs/1991,
editor = {Takayasu Ito and
Albert R. Meyer},
title = {Theoretical Aspects of Computer Software, International Conference
TACS '91, Sendai, Japan, September 24-27, 1991, Proceedings},
booktitle = {TACS},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {526},
year = {1991},
isbn = {3-540-54415-1},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Invited Paper
Session 1
Invited Paper
- Masahiko Sato:
Adding Proof Objects and Inductive Definition Mechanisms to Frege Structures.
53-87
Session 2
Invited Paper
Session 3
Invited Paper
Invited Paper
Session 4
Invited Paper
Session 5
Invited Paper
- Masami Hagiya:
From Programming-by-Example to Proving-by-Example.
387-419
Invited Paper
Session 6
- Dieter Armbruster:
Polynomial Recursion Analysis in Pascal Like Programs.
447-458
- Hardi Hungar:
Complexity of Proving Program Correctness.
459-474
- David A. Basin, Douglas J. Howe:
Some Normalization Properties of Martin-Löf's Type Theory, and Applications.
475-494
- Ryu Hasegawa:
Parametricity of Extensionally Collapsed Term Models of Polymorphism and Their Categorical Properties.
495-512
- Shin-ya Nishizaki:
Programs with Continuations and Linear Logic.
513-531
Session 7
Session 8
Invited Paper
- Susumu Hayashi:
Singleton, Union and Intersection Types for Program Extraction.
701-730
Session 9
Invited Lecture
Copyright © Mon Nov 2 21:15:43 2009
by Michael Ley (ley@uni-trier.de)
