|
Also Recommended
|
|
|
Volume 1. Background: Mathematical Structures
S. Abramsky, Dov M. Gabbay...
£260.00
|
|
|
|
|
Volume 2. Background: Computational Structures
S. Abramsky, Dov M. Gabbay...
£260.00
|
|
|
|
|
|
Volume 3. Semantic Structures
S. Abramsky, Dov M. Gabbay...
£260.00
|
|
|
|
|
Handbook of Logic in Computer Science
Volume 5. Algebraic and Logical Structures
Edited by S. Abramsky, Dov M. Gabbay, and T. S. E. Maibaum
556 pages
|
234x156mm
978-0-19-853781-6
|
Hardback
|
25 January 2001
|
|
This item is printed to order. Items which are printed to order are normally despatched and charged within 5-10 days.
|
|
|
- Area of growing interest
- The fifth volume of this highly successful reference work
This handbook volume covers fundamental topics of semantics in logic and computation. The chapters (some monographic in length), were written following years of co-ordination and follow a thematic point of view. The volume brings the reader up to front line research, and is indispensable to any serious worker in the areas.Readership: Algebraists, Computer Scientists, Logicians, and AI researchers
|
|
|
Edited by S. Abramsky, Department of Computer Science, Imperial College London, Dov M. Gabbay, Department of Computer Science, King's College London, and T. S. E. Maibaum, Department of Computer Science, Imperial College London Contributors:
B Nordström, Department of Computer Science, Chalmers Tekniska Hogskola, Institutionen for Datavetenskap, S-41296 Gothenburg, SWEDEN; K Petersson, Department of Computer Science, Chalmers Tekniska Hogskola, Institutionen for Datavetenskap, S-41296 Gothenburg, SWEDEN; J M Smith, Department of Computer Science, Chalmers Tekniska Hogskola, Institutionen for Datavetenskap,
S-41296 Gothenburg, SWEDEN; Andrew M Pitts, University of Cambridge Computer Laboratory, New Museum Site, Pembroke Street, Cambridge CB2 3QG, email: Andrew.Pitts@cl.cam.ac.uk; Kevin J Compton, Department of Computer Science, University of Aarhus, Ny Munkegade, Bldg 540, DK-8000 Aarhus C, DENMARK, email: compton@daimi.aau.dk; C Ward Henson, Department of Mathematics, University of Illinois at Urbana-Champaign, 1409 West Green Street, URBANA, IL 61801-2975, USA, email: henson@math.uiuc.edu; J Loeckx, Morsdorfer Strasse 7, D-50935 Koeln, GERMANY, email: loeckx@uni-koeln.de; H D Ehrich, Technische Universität Braunschweig, D-38023 Braunschweig, GERMANY, email: HD.Ehrich@tu-bs.de; M Wolf, Universitaet des Saarlandes, D-66041 Saarbruecken, GERMANY, email: Markus.Wolf@meta-level.de; J V Tucker,
Department of Computer Science, University of Swansea, Singleton Park, SWANSEA, Wales`; J I Zucker, Department of Computing and Software, Faculty of Engineering, McMaster University, 1280 Main Street West, JHE-327, Hamilton Ontario L8S 4L7, CANADA
|
|
|
1: Martin Löf's Type Theory
2: Categorical Logic
3: A Uniform Method for Proving Lower Bounds on the Computational complexity of Logical Theories
4: Algebraic specification of abstract data types
5: Computable Functions and Semicomputable Sets on Many-sorted Algebras
|
|
|
|
The specification in this catalogue, including without limitation price, format, extent, number of illustrations, and month of publication, was as accurate as possible at the time the catalogue was compiled. Occasionally, due to the nature of some contractual restrictions, we are unable to ship a specific product to a particular territory. Jacket images are provisional and liable to change before publication.
|
|
