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

Pfenning: Types in Logic Programming, 1992

Frank Pfenning (Ed.): Types in Logic Programming. The MIT Press 1992, ISBN 0-262-16131-1

Series Forword
Preface
Authors

Bibliograhy
Index

Copyright © Sat May 16 22:54:23 2009 by Michael Ley (ley@uni-trier.de)