![Proof and Computation [electronic resource] /](/search/themes/bootstrap3/images/libros.png)
Proof and Computation [electronic resource] /
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.
| Main Authors: | , |
|---|---|
| Format: | Texto biblioteca |
| Language: | eng |
| Published: |
Berlin, Heidelberg : Springer Berlin Heidelberg,
1995
|
| Subjects: | Computer science., Logic design., Computer communication systems., Computer programming., Software engineering., Programming languages (Electronic computers)., Computer logic., Computer Science., Logic Design., Computer Communication Networks., Programming Techniques., Software Engineering., Programming Languages, Compilers, Interpreters., Logics and Meanings of Programs., |
| Online Access: | http://dx.doi.org/10.1007/978-3-642-79361-5 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|