Peter E. Lauer profile picture

Peter E. Lauer

Is this your author profile? Create an account to customize it!

Stand Alone

Functional programming, concurrency, simulation and automated reasoning
ICCI '92, Fourth International Conference on Computing and Information, May 28-30, 1992, Toronto, Ontario: proceedings
Functional Programming, Concurrency, Simulation and Automated Reasoning: International Lecture Series 1991-1992, McMaster University, Hamilton, Ontari (Lecture Notes in Computer Science)
Computing and Information ICCI'92