Handbook of Logic in Computer Science

Volume 5: Logic and Algebraic Methods
Erscheinungsjahr 2001
ISBN: 978-0-19-853781-6
Verlag: OUP Oxford

Buch, Englisch, 556 Seiten, Print PDF, Format (B × H): 161 mm x 240 mm, Gewicht: 992 g

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.

Autoren/Hrsg.

Abramsky, S.

Gabbay, Dov M.

Maibaum, T. S. E.

Fachgebiete

• Mathematik | Informatik Mathematik Mathematik Allgemein Mathematische Logik
• Mathematik | Informatik EDV | Informatik Informatik Mathematik für Informatiker
• Mathematik | Informatik EDV | Informatik Informatik Rechnerarchitektur

Inhaltsverzeichnis

- 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

Über Autor(innen)

S Abramsky, Department of Computing, Imperial College of Science, Technology and Medicine, London Dov Gabbay, Department of Computer Science, King's College, London T S E Maibaum, Department of Computing, Imperial College of Science, Technology and Medicine, London