logo
Wrong email address or username
Wrong email address or username
Incorrect verification code
Samson Abramsky
Samson Abramsky's Books
Category Theory and Computer Science - D... Category Theory and Computer Science - David Pitt, Samson Abramsky, P.L. Curien Nets, Terms and Formulas: Three Views of Concurrent Processes and Their Relationship - E.-R. Olderog, Samson Abramsky, C. Van Rijsbergen Automata, Languages and Programming: 37t... Automata, Languages and Programming: 37th International Colloquium, Icalp 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part I - Samson Abramsky, Cyril Gavoille, Claude Kirchner, Friedhelm Meyer auf der Heide, Paul Spirakis Abstract Interpretation Of Declarative L... Abstract Interpretation Of Declarative Languages (Ellis Horwood Series In Computers And Their Applications) - Samson Abramsky Typed Lambda Calculi and Applications: 5... Typed Lambda Calculi and Applications: 5th International Conference, TLCA 2001 Krakow, Poland, May 2-5, 2001 Proceedings: 5th International Conference, ... Po (Lecture Notes in Computer Science) - Samson Abramsky Handbook of Logic in Computer Science - Volume 2 - Samson Abramsky Tapsoft '91: Proceedings Of The International Joint Conference On Theory And Practice Of Software Development, Brighton, Uk, April 8 12, 1991 - Samson Abramsky Tapsoft '91. Proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991: Volume 1: Colloquium on Trees in Algebra and Programming (Caap '91) - Samson Abramsky, Thomas S.E. Maibaum Theoretical Foundations of VLSI Design - K. McEvoy, Samson Abramsky, C. Van Rijsbergen Abstract Interpretation of Declarative L... Abstract Interpretation of Declarative Languages - Samson Abramsky Handbook of Logic in Computer Science - Samson Abramsky, Dov M. Gabbay, Thomas S.E. Maibaum Handbook of Logic in Computer Science: Volume 5: Logic and Algebraic Methods - Samson Abramsky, Dov M. Gabbay Tapsoft ΚΎ91: Proceedings Of The International Joint Conference On Theory And Practice Of Software Development, Brighton, Uk, April 8 12, 1991 - Samson Abramsky Category Theory and Computer Programming... Category Theory and Computer Programming: Tutorial and Workshop, Guildford, U.K., September 16-20, 1985: Proceedings - David Pitt, Samson Abramsky, A. Poigne, D. Rydeheard Formal Semantics and Pragmatics for Natural Language Querying (Tracts in Theoretical computer Science Series), Vol. 8 - James Clifford, Samson Abramsky, C.J. van Rijsbergen Handbook of Logic in Computer Science: Volume 1: Background: Mathematical Structures - Samson Abramsky, Dov M. Gabbay Automata, Languages and Programming: 37th International Colloquium, Icalp 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part II - Samson Abramsky, Cyril Gavoille, Claude Kirchner, Friedhelm Meyer auf der Heide, Paul Spirakis A Concise Introduction to Languages and Machines - Alan P. Parkes, Dexter C. Kozen, Chris Hankin, Flemming Nielson, Samson Abramsky, David D. Zhang, Ian Mackie, Iain Stewart, Steven S. Skiena A Categorical Semantics of Quantum Protocols - Samson Abramsky, Bob Coecke Extensions of First-Order Logic - Maria Manzano, Samson Abramsky, C.J. van Rijsbergen
see all books
Share this Author
Copyright © 2025 BookLikes Press About Terms of Services Privacy Policy Contact Us Blog FAQ Patronaty medialne BookLikes for Authors Partners panel Team Themes Docs API Blogs
Need help?
Important: Our sites use cookies. We use the information stored using cookies and similar technologies for advertising and statistics purposes. Stored data allow us to tailor the websites to individual user's interests. Cookies may be also used by third parties cooperating with BookLikes, like advertisers, research companies and providers of multimedia applications. You can choose how cookies are handled by your device via your browser settings. If you choose not to receive cookies at any time, BookLikes will not function properly and certain services will not be provided. For more information, please go to our Privacy Policy.