• TUCS Publication Series
• How to Publish in TUCS Series
• Publication Search
• Publication Graph
• Publication Input
• Publication Input Guide
• JuFo Browser

Functional Procedures in Higher-Order Logic

Linas Laibinis, Joakim von Wright, Functional Procedures in Higher-Order Logic. In: Theorem Proving in Higher Order Logics: 13th International Conference, TPHOLs 2000, Lecture Notes in Computer Science 1869, 372 – 386, Springer-Verlag, 2000.

Abstract:

http://www.tucs.fi/Publications/proceedings/pLaWra.php

BibTeX entry:

@INPROCEEDINGS{pLaWra,
  title = {Functional Procedures in Higher-Order Logic},
  booktitle = {Theorem Proving in Higher Order Logics: 13th International Conference, TPHOLs 2000},
  author = {Laibinis, Linas and Wright, Joakim von},
  volume = {1869},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer-Verlag},
  pages = {372 – 386},
  year = {2000},
}

Publication Forum rating of this publication: level 1

Edit publication