Domains and Processes: Proceedings of the 1st International Symposium on Domain Theory (Semantic Structures in Computation): Proceedings of the 1st ... 1999 (Semantics Structures in Computation)
by Klaus Keimel,Guo-Qiang Zhang,Ying Ming Liu
ISBN 13: 9780792371434
Format: Illustrated (292 pages) Publisher: Springer Published: 31 Oct 2001
Save for later
Domain Theory, Logic and Computation: Proceedings of the International Symposium on Domain Theory, Logic and Computation (Semantics Structures in ... Theory, Sichuan, China, October 2001: 3
by Guo-Qiang Zhang,J. Lawson,Ying Ming Liu
ISBN 13: 9781402018329
Format: Hardcover (212 pages) Publisher: Springer Published: 01 Jan 2004