Banff Higher Order Workshop
8. Banff Higher Order Workshop 1995
Faron Moller, Graham M. Birtwistle (Eds.):
Logics for Concurrency - Structure versus Automata (8th Banff Higher Order Workshop, August 27 - September 3, 1995, Proceedings).
Lecture Notes in Computer Science 1043 Springer 1996, ISBN 3-540-60915-6
Contents BibTeX
Copyright © Sat May 16 22:59:19 2009
by Michael Ley (ley@uni-trier.de)
