Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/tphol/tphol98.bht:"
download as .bib file
@inproceedings{DBLP:conf/tphol/BeniniKN98,
author = {Marco Benini and
Sara Kalvala and
Dirk Nowotka},
editor = {Jim Grundy and
Malcolm C. Newey},
title = {Program Abstraction in a Higher-Order Logic Framework},
booktitle = {Theorem Proving in Higher Order Logics, 11th International Conference,
TPHOLs'98, Canberra, Australia, September 27 - October 1, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1479},
pages = {33--48},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055128},
doi = {10.1007/BFB0055128},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/tphol/BeniniKN98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/BhargavanGGJOZ98,
author = {Karthikeyan Bhargavan and
Carl A. Gunter and
Elsa L. Gunter and
Michael Jackson and
Davor Obradovic and
Pamela Zave},
editor = {Jim Grundy and
Malcolm C. Newey},
title = {The Village Telephone System: {A} Case Study in Formal Software Engineering},
booktitle = {Theorem Proving in Higher Order Logics, 11th International Conference,
TPHOLs'98, Canberra, Australia, September 27 - October 1, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1479},
pages = {49--66},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055129},
doi = {10.1007/BFB0055129},
timestamp = {Mon, 05 Feb 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tphol/BhargavanGGJOZ98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/Boulton98,
author = {Richard J. Boulton},
editor = {Jim Grundy and
Malcolm C. Newey},
title = {Generating Embeddings from Denotational Descriptions},
booktitle = {Theorem Proving in Higher Order Logics, 11th International Conference,
TPHOLs'98, Canberra, Australia, September 27 - October 1, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1479},
pages = {67--86},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055130},
doi = {10.1007/BFB0055130},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tphol/Boulton98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/BoultonSBG98,
author = {Richard J. Boulton and
Konrad Slind and
Alan Bundy and
Michael J. C. Gordon},
editor = {Jim Grundy and
Malcolm C. Newey},
title = {An Interface between Clam and {HOL}},
booktitle = {Theorem Proving in Higher Order Logics, 11th International Conference,
TPHOLs'98, Canberra, Australia, September 27 - October 1, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1479},
pages = {87--104},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055131},
doi = {10.1007/BFB0055131},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tphol/BoultonSBG98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/Caldwell98,
author = {James L. Caldwell},
editor = {Jim Grundy and
Malcolm C. Newey},
title = {Classical Propositional Decidability via Nuprl Proof Extraction},
booktitle = {Theorem Proving in Higher Order Logics, 11th International Conference,
TPHOLs'98, Canberra, Australia, September 27 - October 1, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1479},
pages = {105--122},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055132},
doi = {10.1007/BFB0055132},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tphol/Caldwell98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/GriffioenH98,
author = {W. O. David Griffioen and
Marieke Huisman},
editor = {Jim Grundy and
Malcolm C. Newey},
title = {A Comparison of {PVS} and Isabelle/HOL},
booktitle = {Theorem Proving in Higher Order Logics, 11th International Conference,
TPHOLs'98, Canberra, Australia, September 27 - October 1, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1479},
pages = {123--142},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055133},
doi = {10.1007/BFB0055133},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tphol/GriffioenH98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/Gunter98,
author = {Elsa L. Gunter},
editor = {Jim Grundy and
Malcolm C. Newey},
title = {Adding External Decision Procedures to {HOL90} Securely},
booktitle = {Theorem Proving in Higher Order Logics, 11th International Conference,
TPHOLs'98, Canberra, Australia, September 27 - October 1, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1479},
pages = {143--152},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055134},
doi = {10.1007/BFB0055134},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tphol/Gunter98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/Harrison98,
author = {John Harrison},
editor = {Jim Grundy and
Malcolm C. Newey},
title = {Formalizing Basic First Order Model Theory},
booktitle = {Theorem Proving in Higher Order Logics, 11th International Conference,
TPHOLs'98, Canberra, Australia, September 27 - October 1, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1479},
pages = {153--170},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055135},
doi = {10.1007/BFB0055135},
timestamp = {Thu, 05 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tphol/Harrison98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/Harrison98a,
author = {John Harrison},
editor = {Jim Grundy and
Malcolm C. Newey},
title = {Formalizing Dijkstra},
booktitle = {Theorem Proving in Higher Order Logics, 11th International Conference,
TPHOLs'98, Canberra, Australia, September 27 - October 1, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1479},
pages = {171--188},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055136},
doi = {10.1007/BFB0055136},
timestamp = {Thu, 05 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tphol/Harrison98a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/HenkePPR98,
author = {Friedrich W. von Henke and
Stephan Pfab and
Holger Pfeifer and
Harald Rue{\ss}},
editor = {Jim Grundy and
Malcolm C. Newey},
title = {Case Studies in Meta-Level Theorem Proving},
booktitle = {Theorem Proving in Higher Order Logics, 11th International Conference,
TPHOLs'98, Canberra, Australia, September 27 - October 1, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1479},
pages = {461--478},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055152},
doi = {10.1007/BFB0055152},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tphol/HenkePPR98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/HomeierM98,
author = {Peter V. Homeier and
David F. Martin},
editor = {Jim Grundy and
Malcolm C. Newey},
title = {Mechanical Verification of Total Correctness through Diversion Verification
Conditions},
booktitle = {Theorem Proving in Higher Order Logics, 11th International Conference,
TPHOLs'98, Canberra, Australia, September 27 - October 1, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1479},
pages = {189--206},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055137},
doi = {10.1007/BFB0055137},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tphol/HomeierM98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/Howe98,
author = {Douglas J. Howe},
editor = {Jim Grundy and
Malcolm C. Newey},
title = {A Type Annotation Scheme for Nuprl},
booktitle = {Theorem Proving in Higher Order Logics, 11th International Conference,
TPHOLs'98, Canberra, Australia, September 27 - October 1, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1479},
pages = {207--224},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055138},
doi = {10.1007/BFB0055138},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tphol/Howe98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/Jackson98,
author = {Paul B. Jackson},
editor = {Jim Grundy and
Malcolm C. Newey},
title = {Verifying a Garbage Collection Algorithm},
booktitle = {Theorem Proving in Higher Order Logics, 11th International Conference,
TPHOLs'98, Canberra, Australia, September 27 - October 1, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1479},
pages = {225--244},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055139},
doi = {10.1007/BFB0055139},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tphol/Jackson98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/Konrad98,
author = {Karsten Konrad},
editor = {Jim Grundy and
Malcolm C. Newey},
title = {{HOT:} {A} Concurrent Automated Theorem Prover Based on Higher-Order
Tableaux},
booktitle = {Theorem Proving in Higher Order Logics, 11th International Conference,
TPHOLs'98, Canberra, Australia, September 27 - October 1, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1479},
pages = {245--261},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055140},
doi = {10.1007/BFB0055140},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tphol/Konrad98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/Liang98,
author = {Chuck C. Liang},
editor = {Jim Grundy and
Malcolm C. Newey},
title = {Free Variables and Subexpressions in Higher-Order Meta Logic},
booktitle = {Theorem Proving in Higher Order Logics, 11th International Conference,
TPHOLs'98, Canberra, Australia, September 27 - October 1, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1479},
pages = {263--276},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055141},
doi = {10.1007/BFB0055141},
timestamp = {Sat, 26 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tphol/Liang98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/LifantsevB98,
author = {Maxim Lifantsev and
Leo Bachmair},
editor = {Jim Grundy and
Malcolm C. Newey},
title = {An LPO-based Termination Ordering for Higher-Order Terms without lambda-abstraction},
booktitle = {Theorem Proving in Higher Order Logics, 11th International Conference,
TPHOLs'98, Canberra, Australia, September 27 - October 1, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1479},
pages = {277--293},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055142},
doi = {10.1007/BFB0055142},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tphol/LifantsevB98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/MikhajlovaW98,
author = {Anna Mikhajlova and
Joakim von Wright},
editor = {Jim Grundy and
Malcolm C. Newey},
title = {Proving Isomorphism of First-Order Logic Proof Systems in {HOL}},
booktitle = {Theorem Proving in Higher Order Logics, 11th International Conference,
TPHOLs'98, Canberra, Australia, September 27 - October 1, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1479},
pages = {295--314},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055143},
doi = {10.1007/BFB0055143},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tphol/MikhajlovaW98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/Moten98,
author = {Roderick Moten},
editor = {Jim Grundy and
Malcolm C. Newey},
title = {Exploiting Parallelism in Interactive Theorem Provers},
booktitle = {Theorem Proving in Higher Order Logics, 11th International Conference,
TPHOLs'98, Canberra, Australia, September 27 - October 1, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1479},
pages = {315--330},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055144},
doi = {10.1007/BFB0055144},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tphol/Moten98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/Muller98,
author = {Olaf M{\"{u}}ller},
editor = {Jim Grundy and
Malcolm C. Newey},
title = {{I/O} Automata and Beyond: Temporal Logic and Abstraction in Isabelle},
booktitle = {Theorem Proving in Higher Order Logics, 11th International Conference,
TPHOLs'98, Canberra, Australia, September 27 - October 1, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1479},
pages = {331--348},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055145},
doi = {10.1007/BFB0055145},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tphol/Muller98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/NaraschewskiW98,
author = {Wolfgang Naraschewski and
Markus Wenzel},
editor = {Jim Grundy and
Malcolm C. Newey},
title = {Object-Oriented Verification Based on Record Subtyping in Higher-Order
Logic},
booktitle = {Theorem Proving in Higher Order Logics, 11th International Conference,
TPHOLs'98, Canberra, Australia, September 27 - October 1, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1479},
pages = {349--366},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055146},
doi = {10.1007/BFB0055146},
timestamp = {Sat, 30 Dec 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tphol/NaraschewskiW98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/NarasimhanV98,
author = {Naren Narasimhan and
Ranga Vemuri},
editor = {Jim Grundy and
Malcolm C. Newey},
title = {On the Effectiveness of Theorem Proving Guided Discovery of Formal
Assertions for a Register Allocator in a High-Level Synthesis System},
booktitle = {Theorem Proving in Higher Order Logics, 11th International Conference,
TPHOLs'98, Canberra, Australia, September 27 - October 1, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1479},
pages = {367--386},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055147},
doi = {10.1007/BFB0055147},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tphol/NarasimhanV98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/Nipkow98,
author = {Tobias Nipkow},
editor = {Jim Grundy and
Malcolm C. Newey},
title = {Verified Lexical Analysis},
booktitle = {Theorem Proving in Higher Order Logics, 11th International Conference,
TPHOLs'98, Canberra, Australia, September 27 - October 1, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1479},
pages = {1--15},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055126},
doi = {10.1007/BFB0055126},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tphol/Nipkow98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/NowakBT98,
author = {David Nowak and
Jean{-}Ren{\'{e}} Beauvais and
Jean{-}Pierre Talpin},
editor = {Jim Grundy and
Malcolm C. Newey},
title = {Co-inductive Axiomatization of a Synchronous Language},
booktitle = {Theorem Proving in Higher Order Logics, 11th International Conference,
TPHOLs'98, Canberra, Australia, September 27 - October 1, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1479},
pages = {387--399},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055148},
doi = {10.1007/BFB0055148},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tphol/NowakBT98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/PuitgD98,
author = {Fran{\c{c}}ois Puitg and
Jean{-}Fran{\c{c}}ois Dufourd},
editor = {Jim Grundy and
Malcolm C. Newey},
title = {Formal Specification and Theorem Proving Breakthroughs in Geometric
Modeling},
booktitle = {Theorem Proving in Higher Order Logics, 11th International Conference,
TPHOLs'98, Canberra, Australia, September 27 - October 1, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1479},
pages = {401--422},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055149},
doi = {10.1007/BFB0055149},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tphol/PuitgD98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/RuksenasW98,
author = {Rimvydas Ruksenas and
Joakim von Wright},
editor = {Jim Grundy and
Malcolm C. Newey},
title = {A Tool for Data Refinement},
booktitle = {Theorem Proving in Higher Order Logics, 11th International Conference,
TPHOLs'98, Canberra, Australia, September 27 - October 1, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1479},
pages = {423--441},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055150},
doi = {10.1007/BFB0055150},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tphol/RuksenasW98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/SawamuraA98,
author = {Hajime Sawamura and
Daisaku Asanuma},
editor = {Jim Grundy and
Malcolm C. Newey},
title = {Mechanizing Relevant Logics with {HOL}},
booktitle = {Theorem Proving in Higher Order Logics, 11th International Conference,
TPHOLs'98, Canberra, Australia, September 27 - October 1, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1479},
pages = {443--460},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055151},
doi = {10.1007/BFB0055151},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tphol/SawamuraA98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/Wright98,
author = {Joakim von Wright},
editor = {Jim Grundy and
Malcolm C. Newey},
title = {Extending Window Inference},
booktitle = {Theorem Proving in Higher Order Logics, 11th International Conference,
TPHOLs'98, Canberra, Australia, September 27 - October 1, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1479},
pages = {17--32},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055127},
doi = {10.1007/BFB0055127},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tphol/Wright98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/YamamotoTHNT98,
author = {Mitsuharu Yamamoto and
Koichi Takahashi and
Masami Hagiya and
Shin{-}ya Nishizaki and
Tetsuo Tamai},
editor = {Jim Grundy and
Malcolm C. Newey},
title = {Formalization of Graph Search Algorithms and Its Applications},
booktitle = {Theorem Proving in Higher Order Logics, 11th International Conference,
TPHOLs'98, Canberra, Australia, September 27 - October 1, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1479},
pages = {479--496},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055153},
doi = {10.1007/BFB0055153},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tphol/YamamotoTHNT98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tphol/1998,
editor = {Jim Grundy and
Malcolm C. Newey},
title = {Theorem Proving in Higher Order Logics, 11th International Conference,
TPHOLs'98, Canberra, Australia, September 27 - October 1, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1479},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055125},
doi = {10.1007/BFB0055125},
isbn = {3-540-64987-5},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tphol/1998.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2024-04-24 06:57 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
