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