Logic, Algebra, and Computation (eBook, PDF)

International Summer School
Redaktion: Bauer, Friedrich L.

• Format: PDF

Produktbeschreibung

This volume presents the proceedings of the tenth Marktoberdorf Summer School, with the theme Logic, Algebra, and Computation. The volume has a message: applied logic is programming, programming is applied logic, and computation is a common concern of logic and mathematics.

---

Dieser Download kann aus rechtlichen Gründen nur mit Rechnungsadresse in A, B, BG, CY, CZ, D, DK, EW, E, FIN, F, GR, HR, H, IRL, I, LT, L, LR, M, NL, PL, P, R, S, SLO, SK ausgeliefert werden.

Produktdetails

• Verlag: Springer Berlin Heidelberg
• Seitenzahl: 485
• Erscheinungstermin: 6. Dezember 2012
• Englisch
• ISBN-13: 9783642767999
• Artikelnr.: 53119040

Inhaltsangabe

Theory of Computation and Specification over Abstract Data Types, and its Applications.- Fundamentals of Deductive Program Synthesis.- Notes on Resolution.- au ?-calcul pur.- Normalization.- Computability - Logical and Recursive Complexity.- Reflecting the Open-Ended Computation System of Constructive Type Theory.- Some Lectures on Modal Logic.- Formal Approaches to Concurrency.- The Family of Concurrent Logic Programming Languages.