Higher order logic theorem proving and its applications. 8th International Workshop, Aspen Grove, UT, USA, September 11-14, 1995. Proceedings
type: Item
instance of: scholarly article
title: Higher order logic theorem proving and its applications. 8th International Workshop, Aspen Grove, UT, USA, September 11-14, 1995. Proceedings
zbMATH Open document ID: 1060.68513
DOI: 10.1007/3-540-60275-5
published in: Lecture Notes in Computer Science
publication date: 1995-09-13T00:00:00Z
review text: The articles of this volume will be reviewed individually. Indexed articles: \textit{Aït Mohamed, Otmane}, Mechanizing a \(\pi\)-calculus equivalence in HOL, 1-16 [Zbl 1063.68600] \textit{Agerholm, Sten}, Non-primitive recursive function definitions, 17-31 [Zbl 1063.68640] \textit{Agerholm, Sten; Gordon, Mike}, Experiments with ZF set theory in HOL and Isabelle, 32-45 [Zbl 1063.68641] \textit{Black, Paul E.; Windley, Phillip J.}, Automatically synthesized term denotation predicates: a proof aid, 46-57 [Zbl 1063.68642] \textit{Bodeveix, J.-P.; Filali, M.}, On the refinement of symmetric memory protocols, 58-74 [Zbl 1063.68601] \textit{Boulton, Richard J.}, Combining decision procedures in the HOL system, 75-89 [Zbl 1063.68643] \textit{Brackin, Stephen H.}, Deciding cryptographic protocol adequacy with HOL, 90-105 [Zbl 1063.68644] \textit{Busch, Holger}, A practical method for reasoning about distributed systems in a theorem prover, 106-121 [Zbl 1063.68645] \textit{Collins, Graham; Syme, Donald}, A theory of finite maps, 122-137 [Zbl 1063.68646] \textit{Curzon, Paul}, Virtual theories, 138-153 [Zbl 1063.68649] \textit{Eisenbiegler, Dirk; Kumar, Ramayya}, An automata theory dedicated towards formal circuit synthesis, 154-169 [Zbl 1063.68651] \textit{Gunter, Elsa L.; Libkin, Leonid}, Interfacing HOL90 with a functional database query language, 170-185 [Zbl 1063.68583] \textit{Harrison, John}, Floating point verification in HOL, 186-199 [Zbl 1063.68652] \textit{Harrison, John}, Inductive definitions: automation and application, 200-213 [Zbl 1063.03501] \textit{Kalvala, Sara}, A formulation of TLA in Isabelle, 214-228 [Zbl 1063.68653] \textit{Kim, Jang Dae; Chin, Shiu-Kai}, Formal verification of serial pipeline multipliers, 229-244 [Zbl 1063.68654] \textit{Långbacka, Thomas; Rukšėnas, Rimvydas; von Wright, Joakim}, TkWinHOL: a tool for window inference in HOL, 245-260 [Zbl 1063.68655] \textit{Loewenstein, Paul N.}, Formal verification of counterflow pipeline architecture…
Mathematics Subject Classification ID: 68-06
Mathematics Subject Classification ID: 03-06
Mathematics Subject Classification ID: 00B25
Mathematics Subject Classification ID: 03B35
Mathematics Subject Classification ID: 68T15
zbMATH DE Number: 796064
describes a project that uses: TkWinHOL
describes a project that uses: HOL90
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.1007/3-540-60275-5
OpenAlex ID: W2493860389
Recommended article: Higher order logic theorem proving and its applications. 6th International Workshop, HUG '93, Vancouver, B. C., Canada, August 11-13, 1993. Proceedings
Recommended article: Theorem proving in higher order logics. 18th international conference, TPHOLs 2005, Oxford, UK, August 22--25, 2005. Proceedings.
Recommended article: Higher order logic theorem proving and its applications. 7th international workshop, Valletta, Malta, September 19--22, 1994. Proceedings
Recommended article: Theorem proving in higher order logics. 15th international conference, TPHOLs 2002, Hampton, VA, USA, August 20--23, 2002. Proceedings
Recommended article: Theorem proving in higher order logics. 10th international conference, TPHOLs '97. Murray Hill, NJ, USA. August 19--22, 1997. Proceedings
Recommended article: Theorem proving in higher order logics. 13th international conference, TPHOLs 2000, Portland, OR, USA, August 14--18, 2000. Proceedings
Recommended article: Theorem proving in higher order logics. 11th international conference, TPHOLs '98. Canberra, Australia, September 27 - October 1, 1998. Proceedings
Recommended article: Theorem proving in higher order logics. 17th international conference, TPHOLs 2004, Park City, Utah, USA, September 14--17, 2004. Proceedings.
Recommended article: Theorem proving in higher order logics. 21st international conference, TPHOLs 2008, Montreal, Canada, August 18--21, 2008. Proceedings
Recommended article: Theorem proving in higher order logics. 9th international conference, TPHOL '96, Turku, Finland, August 26-30, 1996. Proceedings
description: scientific article; zbMATH DE number 796064