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

Proving Isomorphism of First-Order Logic Proof Systems in HOL

Anna Mikhajlova, Joakim von Wright, Proving Isomorphism of First-Order Logic Proof Systems in HOL. In: Malcolm Newey Jim Grundy (Ed.), Theorem Proving in Higher-Order Logics (TPHOLs'98), Lecture Notes in Computer Science 1479, 295-314, Springer-Verlag, 1998.

BibTeX entry:

@INPROCEEDINGS{pMiWr98a,
  title = {Proving Isomorphism of First-Order Logic Proof Systems in HOL},
  booktitle = {Theorem Proving in Higher-Order Logics (TPHOLs'98)},
  author = {Mikhajlova, Anna and Wright, Joakim von},
  volume = {1479},
  series = {Lecture Notes in Computer Science},
  editor = {Jim Grundy, Malcolm Newey},
  publisher = {Springer-Verlag},
  pages = {295-314},
  year = {1998},
}

Edit publication