dblp.uni-trier.de www.uni-trier.de

Logics of Programs 1985: Brooklyn College, New York, NY, USA

Rohit Parikh (Ed.): Logics of Programs, Conference, Brooklyn College, June 17-19, 1985, Proceedings. Lecture Notes in Computer Science 193 Springer 1985, ISBN 3-540-15648-8 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Copyright © Mon Nov 2 20:57:15 2009 by Michael Ley (ley@uni-trier.de)