Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

- view
  authority control:
- export record
  dblp key:
  - conf/tphol/Slind00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tphol/Slind00
Konrad Slind:
Another Look at Nested Recursion. TPHOLs 2000: 498-518
- view
  authority control:
- export record
  dblp key:
  - conf/tphol/Wos00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tphol/Wos00
Larry Wos:
Appendix: Conjectures Concerning Proof, Design, and Verification. TPHOLs 2000: 526-533
- view
  authority control:
- export record
  dblp key:
  - conf/tphol/WosF00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tphol/WosF00
Larry Wos, Branden Fitelson:
Automating the Search for Answers to Open Questions. TPHOLs 2000: 519-525
- view
  authority control:
- export record
  dblp key:
  - conf/tphol/2000
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tphol/2000
Mark D. Aagaard, John Harrison:
Theorem Proving in Higher Order Logics, 13th International Conference, TPHOLs 2000, Portland, Oregon, USA, August 14-18, 2000, Proceedings. Lecture Notes in Computer Science 1869, Springer 2000, ISBN 3-540-67863-8 [contents]