Check nearby libraries
Buy this book
Logical concepts and methods are of growing importance in many areas of computer science. The proofs-as-programs paradigm and the wide acceptance of Prolog show this clearly. The logical notion of a formal proof in various constructive systems can be viewed as a very explicit way to describe a computation procedure. Also conversely, the development of logical systems has been influenced by accumulating knowledge on rewriting and unification techniques. This volume contains a series of lectures by leading researchers giving a presentation of new ideas on the impact of the concept of a formal proof on computation theory. The subjects covered are: specification and abstract data types, proving techniques, constructive methods, linear logic, and concurrency and logic.
Check nearby libraries
Buy this book
Previews available in: English
Subjects
Théorie démonstration, Logique symbolique et mathématique, Symbolic and mathematical Logic, Programmation logique, Spécification algébrique, Théorie type, Congrès, Logic programming, Fundamentele informatica, Congresses, Logica matematica, Programmation en logique, Concurrence, BewijstheorieShowing 1 featured edition. View all 1 editions?
Edition | Availability |
---|---|
1 |
aaaa
Libraries near you:
WorldCat
|
Book Details
Edition Notes
Includes bibliographical references.
"Proceedings of the NATO Advanced Study Institute on Proof and Computation, held in Marktoberdorf, Germany, July 20-Aug. 1, 1993"--T.p. verso.
"Published in cooperation with NATO Scientific Affairs Division."
Classifications
The Physical Object
ID Numbers
Community Reviews (0)
Feedback?History
- Created April 1, 2008
- 9 revisions
Wikipedia citation
×CloseCopy and paste this code into your Wikipedia page. Need help?
July 18, 2024 | Edited by MARC Bot | import existing book |
January 14, 2023 | Edited by ImportBot | import existing book |
February 28, 2022 | Edited by Michel T. Talbot | //covers.openlibrary.org/b/id/12648942-S.jpg |
September 15, 2021 | Edited by ImportBot | import existing book |
April 1, 2008 | Created by an anonymous user | Imported from Scriblio MARC record |