Handbook of Logic in Computer Science: Volume 5. Algebraic and Logical Structures

Abramsky, S.; Gabbay, Dov M.; Maibaum, T. S. E.

ISBN 10: 0198537816 / ISBN 13: 9780198537816

Editore: Oxford University Press, 2001

Riguardo questo articolo

Codice articolo 9780198537816

Dati bibliografici

• Titolo: Handbook of Logic in Computer Science: Volume 5. Algebraic and Logical Structures
• Editore: Oxford University Press
• Data di pubblicazione: 2001
• Lingua: Inglese
• ISBN 10: 0198537816
• ISBN 13: 9780198537816
• Rilegatura: Rilegato
• Condizione: Usado - bueno

Descrizione articolo

Riassunto

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.

Informazioni sull?autore

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