default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/tphol/tphol94.bht:"
download as .bib file
@inproceedings{DBLP:conf/tphol/Agerholm94,
author = {Sten Agerholm},
editor = {Thomas F. Melham and
Juanito Camilleri},
title = {{LCF} Examples in {HOL}},
booktitle = {Higher Order Logic Theorem Proving and Its Applications, 7th International
Workshop, Valletta, Malta, September 19-22, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {859},
pages = {1--16},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58450-1\_31},
doi = {10.1007/3-540-58450-1\_31},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/tphol/Agerholm94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/AndersenPP94,
author = {Flemming Andersen and
Kim Dam Petersen and
Jimmi S. Pettersson},
editor = {Thomas F. Melham and
Juanito Camilleri},
title = {A Graphical Tool for Proving Unity Progress},
booktitle = {Higher Order Logic Theorem Proving and Its Applications, 7th International
Workshop, Valletta, Malta, September 19-22, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {859},
pages = {17--32},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58450-1\_32},
doi = {10.1007/3-540-58450-1\_32},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tphol/AndersenPP94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/AngeloCM94,
author = {Catia M. Angelo and
Luc J. M. Claesen and
Hugo De Man},
editor = {Thomas F. Melham and
Juanito Camilleri},
title = {Reasoning About a Class of Linear Systems of Equations in {HOL}},
booktitle = {Higher Order Logic Theorem Proving and Its Applications, 7th International
Workshop, Valletta, Malta, September 19-22, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {859},
pages = {33--48},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58450-1\_33},
doi = {10.1007/3-540-58450-1\_33},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tphol/AngeloCM94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/BodeveixFR94,
author = {Jean{-}Paul Bodeveix and
Mamoun Filali and
P. Roche},
editor = {Thomas F. Melham and
Juanito Camilleri},
title = {Towards a {HOL} Theory and Memory},
booktitle = {Higher Order Logic Theorem Proving and Its Applications, 7th International
Workshop, Valletta, Malta, September 19-22, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {859},
pages = {49--64},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58450-1\_34},
doi = {10.1007/3-540-58450-1\_34},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tphol/BodeveixFR94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/Brackin94,
author = {Stephen H. Brackin},
editor = {Thomas F. Melham and
Juanito Camilleri},
title = {Providing Tractable Security Analysis in {HOL}},
booktitle = {Higher Order Logic Theorem Proving and Its Applications, 7th International
Workshop, Valletta, Malta, September 19-22, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {859},
pages = {65--80},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58450-1\_35},
doi = {10.1007/3-540-58450-1\_35},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tphol/Brackin94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/Bruijn94,
author = {N. G. de Bruijn},
editor = {Thomas F. Melham and
Juanito Camilleri},
title = {Highlighting the Lambda-free Fragment of Automath},
booktitle = {Higher Order Logic Theorem Proving and Its Applications, 7th International
Workshop, Valletta, Malta, September 19-22, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {859},
pages = {81--96},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58450-1\_36},
doi = {10.1007/3-540-58450-1\_36},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tphol/Bruijn94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/Busch94,
author = {Holger Busch},
editor = {Thomas F. Melham and
Juanito Camilleri},
title = {First-Order Automation for Higher-Order-Logic Theorem Proving},
booktitle = {Higher Order Logic Theorem Proving and Its Applications, 7th International
Workshop, Valletta, Malta, September 19-22, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {859},
pages = {97--112},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58450-1\_37},
doi = {10.1007/3-540-58450-1\_37},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tphol/Busch94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/CamilleriZ94,
author = {Juanito Camilleri and
Vincent Zammit},
editor = {Thomas F. Melham and
Juanito Camilleri},
title = {Symbolic Animation as a Proof Tool},
booktitle = {Higher Order Logic Theorem Proving and Its Applications, 7th International
Workshop, Valletta, Malta, September 19-22, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {859},
pages = {113--127},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58450-1\_38},
doi = {10.1007/3-540-58450-1\_38},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tphol/CamilleriZ94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/ChapmanFF94,
author = {Nick Chapman and
Simon Finn and
Michael P. Fourman},
editor = {Thomas F. Melham and
Juanito Camilleri},
title = {Datatypes in {L2}},
booktitle = {Higher Order Logic Theorem Proving and Its Applications, 7th International
Workshop, Valletta, Malta, September 19-22, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {859},
pages = {128--143},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58450-1\_39},
doi = {10.1007/3-540-58450-1\_39},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tphol/ChapmanFF94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/Chou94,
author = {Ching{-}Tsun Chou},
editor = {Thomas F. Melham and
Juanito Camilleri},
title = {A Formal Theory of Undirected Graphs in Higher-Order Logic},
booktitle = {Higher Order Logic Theorem Proving and Its Applications, 7th International
Workshop, Valletta, Malta, September 19-22, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {859},
pages = {144--157},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58450-1\_40},
doi = {10.1007/3-540-58450-1\_40},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tphol/Chou94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/Chou94a,
author = {Ching{-}Tsun Chou},
editor = {Thomas F. Melham and
Juanito Camilleri},
title = {Mechanical Verification of Distributed Algorithms in Higher-Order
Logic},
booktitle = {Higher Order Logic Theorem Proving and Its Applications, 7th International
Workshop, Valletta, Malta, September 19-22, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {859},
pages = {158--176},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58450-1\_41},
doi = {10.1007/3-540-58450-1\_41},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tphol/Chou94a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/Curzon94,
author = {Paul Curzon},
editor = {Thomas F. Melham and
Juanito Camilleri},
title = {Tracking Design Changes with Formal Verification},
booktitle = {Higher Order Logic Theorem Proving and Its Applications, 7th International
Workshop, Valletta, Malta, September 19-22, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {859},
pages = {177--192},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58450-1\_42},
doi = {10.1007/3-540-58450-1\_42},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tphol/Curzon94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/Forster94,
author = {Thomas Forster},
editor = {Thomas F. Melham and
Juanito Camilleri},
title = {Weak Systems of Set Theory Related to {HOL}},
booktitle = {Higher Order Logic Theorem Proving and Its Applications, 7th International
Workshop, Valletta, Malta, September 19-22, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {859},
pages = {193--204},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58450-1\_43},
doi = {10.1007/3-540-58450-1\_43},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tphol/Forster94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/FuraS94,
author = {David A. Fura and
Arun K. Somani},
editor = {Thomas F. Melham and
Juanito Camilleri},
title = {Interval-Semantic Component Models and the Efficient Verification
of Transaction-Level Circiut Behavior},
booktitle = {Higher Order Logic Theorem Proving and Its Applications, 7th International
Workshop, Valletta, Malta, September 19-22, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {859},
pages = {205--220},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58450-1\_44},
doi = {10.1007/3-540-58450-1\_44},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tphol/FuraS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/Graham94,
author = {Brian T. Graham},
editor = {Thomas F. Melham and
Juanito Camilleri},
title = {An Interpretation of {NODEN} in {HOL}},
booktitle = {Higher Order Logic Theorem Proving and Its Applications, 7th International
Workshop, Valletta, Malta, September 19-22, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {859},
pages = {221--234},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58450-1\_45},
doi = {10.1007/3-540-58450-1\_45},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tphol/Graham94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/Hanna94,
author = {Keith Hanna},
editor = {Thomas F. Melham and
Juanito Camilleri},
title = {Reasoning about Real Circuits},
booktitle = {Higher Order Logic Theorem Proving and Its Applications, 7th International
Workshop, Valletta, Malta, September 19-22, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {859},
pages = {235--253},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58450-1\_46},
doi = {10.1007/3-540-58450-1\_46},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tphol/Hanna94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/Harrison94,
author = {John Harrison},
editor = {Thomas F. Melham and
Juanito Camilleri},
title = {Binary Decision Diagrams as a {HOL} Derived Rule},
booktitle = {Higher Order Logic Theorem Proving and Its Applications, 7th International
Workshop, Valletta, Malta, September 19-22, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {859},
pages = {254--268},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58450-1\_47},
doi = {10.1007/3-540-58450-1\_47},
timestamp = {Thu, 05 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tphol/Harrison94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/HomeierM94,
author = {Peter V. Homeier and
David F. Martin},
editor = {Thomas F. Melham and
Juanito Camilleri},
title = {Trustworthy Tools for Trustworthy Programs: {A} Verified Verification
Condition Generator},
booktitle = {Higher Order Logic Theorem Proving and Its Applications, 7th International
Workshop, Valletta, Malta, September 19-22, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {859},
pages = {269--284},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58450-1\_48},
doi = {10.1007/3-540-58450-1\_48},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tphol/HomeierM94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/JoyceDD94,
author = {Jeffrey J. Joyce and
Nancy A. Day and
Michael R. Donat},
editor = {Thomas F. Melham and
Juanito Camilleri},
title = {{S:} {A} Machine Readable Specification Notation based on Higher Order
Logic},
booktitle = {Higher Order Logic Theorem Proving and Its Applications, 7th International
Workshop, Valletta, Malta, September 19-22, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {859},
pages = {285--299},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58450-1\_49},
doi = {10.1007/3-540-58450-1\_49},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tphol/JoyceDD94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/Langbacka94,
author = {Thomas L{\aa}ngbacka},
editor = {Thomas F. Melham and
Juanito Camilleri},
title = {A {HOL} Formalisation of the Temporal Logic of Actions},
booktitle = {Higher Order Logic Theorem Proving and Its Applications, 7th International
Workshop, Valletta, Malta, September 19-22, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {859},
pages = {332--345},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58450-1\_52},
doi = {10.1007/3-540-58450-1\_52},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tphol/Langbacka94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/Larsson94,
author = {Mats Larsson},
editor = {Thomas F. Melham and
Juanito Camilleri},
title = {An Engineering Approach to Formal Digital System Design},
booktitle = {Higher Order Logic Theorem Proving and Its Applications, 7th International
Workshop, Valletta, Malta, September 19-22, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {859},
pages = {300--315},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58450-1\_50},
doi = {10.1007/3-540-58450-1\_50},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tphol/Larsson94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/LuC94,
author = {Juin{-}Yeu Lu and
Shiu{-}Kai Chin},
editor = {Thomas F. Melham and
Juanito Camilleri},
title = {Generating Designs Using an Algorithmic Register Transfer Language
with Formal Semantics},
booktitle = {Higher Order Logic Theorem Proving and Its Applications, 7th International
Workshop, Valletta, Malta, September 19-22, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {859},
pages = {316--331},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58450-1\_51},
doi = {10.1007/3-540-58450-1\_51},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tphol/LuC94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/MaharajG94,
author = {Savi Maharaj and
Elsa L. Gunter},
editor = {Thomas F. Melham and
Juanito Camilleri},
title = {Studying the {ML} Module System in Hol},
booktitle = {Higher Order Logic Theorem Proving and Its Applications, 7th International
Workshop, Valletta, Malta, September 19-22, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {859},
pages = {346--361},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58450-1\_53},
doi = {10.1007/3-540-58450-1\_53},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tphol/MaharajG94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/Prasetya94,
author = {I. S. W. B. Prasetya},
editor = {Thomas F. Melham and
Juanito Camilleri},
title = {Towards a Mechanically Supported and Compositional Calculus to Design
Destributed Algorithms},
booktitle = {Higher Order Logic Theorem Proving and Its Applications, 7th International
Workshop, Valletta, Malta, September 19-22, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {859},
pages = {362--377},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58450-1\_54},
doi = {10.1007/3-540-58450-1\_54},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tphol/Prasetya94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/ReetzK94,
author = {Ralf Reetz and
Thomas Kropf},
editor = {Thomas F. Melham and
Juanito Camilleri},
title = {Simplifying Deep Embedding: {A} Formalised Code Generator},
booktitle = {Higher Order Logic Theorem Proving and Its Applications, 7th International
Workshop, Valletta, Malta, September 19-22, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {859},
pages = {378--390},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58450-1\_55},
doi = {10.1007/3-540-58450-1\_55},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tphol/ReetzK94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/SchneiderKK94,
author = {Klaus Schneider and
Ramayya Kumar and
Thomas Kropf},
editor = {Thomas F. Melham and
Juanito Camilleri},
title = {Automating Verification by Functional Abstraction at the System Level},
booktitle = {Higher Order Logic Theorem Proving and Its Applications, 7th International
Workshop, Valletta, Malta, September 19-22, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {859},
pages = {391--406},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58450-1\_56},
doi = {10.1007/3-540-58450-1\_56},
timestamp = {Sun, 06 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tphol/SchneiderKK94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/Slind94,
author = {Konrad Slind},
editor = {Thomas F. Melham and
Juanito Camilleri},
title = {A Parameterized Proof Manager},
booktitle = {Higher Order Logic Theorem Proving and Its Applications, 7th International
Workshop, Valletta, Malta, September 19-22, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {859},
pages = {407--423},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58450-1\_57},
doi = {10.1007/3-540-58450-1\_57},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tphol/Slind94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/TaharK94,
author = {Sofi{\`{e}}ne Tahar and
Ramayya Kumar},
editor = {Thomas F. Melham and
Juanito Camilleri},
title = {Implementational Issues for Verifying RISC-Pipeline Conflicts in {HOL}},
booktitle = {Higher Order Logic Theorem Proving and Its Applications, 7th International
Workshop, Valletta, Malta, September 19-22, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {859},
pages = {424--439},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58450-1\_58},
doi = {10.1007/3-540-58450-1\_58},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tphol/TaharK94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/Windley94,
author = {Phillip J. Windley},
editor = {Thomas F. Melham and
Juanito Camilleri},
title = {Specifying Instruction-Set Architectures in {HOL:} {A} Primer},
booktitle = {Higher Order Logic Theorem Proving and Its Applications, 7th International
Workshop, Valletta, Malta, September 19-22, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {859},
pages = {440--455},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58450-1\_59},
doi = {10.1007/3-540-58450-1\_59},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tphol/Windley94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/Wright94,
author = {Joakim von Wright},
editor = {Thomas F. Melham and
Juanito Camilleri},
title = {Representing Higher-Order Logic Proofs in {HOL}},
booktitle = {Higher Order Logic Theorem Proving and Its Applications, 7th International
Workshop, Valletta, Malta, September 19-22, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {859},
pages = {456--470},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58450-1\_60},
doi = {10.1007/3-540-58450-1\_60},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tphol/Wright94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tphol/1994,
editor = {Thomas F. Melham and
Juanito Camilleri},
title = {Higher Order Logic Theorem Proving and Its Applications, 7th International
Workshop, Valletta, Malta, September 19-22, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {859},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58450-1},
doi = {10.1007/3-540-58450-1},
isbn = {3-540-58450-1},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tphol/1994.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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 2025-01-05 13:44 CET 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:
