Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Accepted author manuscript, 9 MB, PDF document
| Original language | English |
|---|---|
| Title of host publication | Theorem Proving in Higher Order Logics |
| Subtitle of host publication | 10th International Conference, TPHOLs ' 97 Murray Hill, NJ, USA, August 19-22, 1997 Proceedings |
| Publisher | Springer-Verlag GmbH |
| Volume | 1275 |
| Publication status | Published - 1997 |
| Name | Lecture Notes in Computer Science |
|---|---|
| Publisher | Springer Verlag |
| ISSN (Print) | 0302-9743 |
ID: 6319048
