J. Paul Myers Jr., Michael J. O'Donnell (Eds.):
Constructivity in Computer Science, Summer Symposium, San Antonio, Texas, USA, June 19-22, Proceedings.
Lecture Notes in Computer Science 613 Springer 1992, ISBN 3-540-55631-1 BibTeX
@proceedings{DBLP:conf/constructivity/1991,
editor = {J. Paul Myers Jr. and
Michael J. O'Donnell},
title = {Constructivity in Computer Science, Summer Symposium, San Antonio,
Texas, USA, June 19-22, Proceedings},
booktitle = {Constructivity in Computer Science},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {613},
year = {1992},
isbn = {3-540-55631-1},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Semantics
Types
Logic
Nonconstructive Techniques
Topology
Reals
Curriculum/Pedagogy
Copyright © Sat May 16 23:03:20 2009
by Michael Ley (ley@uni-trier.de)