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). Springer 1996 Lecture Notes in Computer Science 1043 ISBN 3-540-60915-6 [ contents ]
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-16T203152 by the dblp team