Proof theory in computer science : ; proceedings international seminar, PTCS 2001, Dagstuhl Castle, Germany, Ocotober 7-12, 2001
Proof theory has long been established as a basic discipline of mathematical logic. It has recently become increasingly relevant to computer science. The - ductive apparatus provided by proof theory has proved useful for metatheoretical purposes as well as for practical applications. Thus it seemed...
Enregistré dans:
| Auteur principal: | |
|---|---|
| Autres auteurs: | , |
| Format: | Livre numérique |
| Langue: | Anglais |
| Publié: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Collection: | Lecture notes in computer science
2183 |
| Sujets: | |
| Accès en ligne: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Note: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Proof theory in computer science, international seminar, PTCS 2001, Dagstuhl Castle, Germany, Ocotober 7-12, 2001, Reinhard Kahle, Peter Schroeder-Heister, Robert Stärk (eds.), Berlin, Springer, 2001, 1 vol. (VIII-238 p.), Lecture notes in computer science, 3-540-42752-X • Proof Theory in Computer Science, Texte imprimé, 9783662161753 |