Book chapter 1638 views
Proof theory at work: Program development in the Minlog system
Holger Benl,
Ulrich Berger,
Helmut Schwichtenberg,
Monika Seisenberger 
,
Wolfgang Zuber
,
Wolfgang Zuber
Automated Deduction - A Basis for Applications, Volume: II, Pages: 41 - 71
Swansea University Author:
Monika Seisenberger
Abstract
Proof theory at work: Program development in the Minlog system
| Published in: | Automated Deduction - A Basis for Applications |
|---|---|
| Published: |
Dordrecht
Kluwer
1998
|
| URI: | https://cronfa.swan.ac.uk/Record/cronfa16456 |
| College: |
Faculty of Science and Engineering |
|---|---|
| Start Page: |
41 |
| End Page: |
71 |