Theorem proving in higher order logics. 10th international conference, TPHOLs '97. Murray Hill, NJ, USA. August 19--22, 1997. Proceedings
type: Item
instance of: scholarly article
title: Theorem proving in higher order logics. 10th international conference, TPHOLs '97. Murray Hill, NJ, USA. August 19--22, 1997. Proceedings
zbMATH Open document ID: 0870.00024
published in: Lecture Notes in Computer Science
publication date: 1997-09-04T00:00:00Z
review text: The articles of this volume will be reviewed individually. Indexed articles: \textit{Dowek, Gilles}, Proof normalization for a first-order formulation of higher-order logic, 105-119 [Zbl 0905.03036] \textit{Hirschkoff, Daniel}, A full formalisation of \(\pi\)-calculus theory in the calculus of constructions, 153-169 [Zbl 0883.03012] \textit{Mohri, Takahisa}, On formalization of bicategory theory, 199-214 [Zbl 0897.18003] \textit{Slind, Konrad}, Derivation and use of induction schemes in higher-order logic, 275-290 [Zbl 0890.03005]
Mathematics Subject Classification ID: 00B25
Mathematics Subject Classification ID: 03-06
Mathematics Subject Classification ID: 68-06
zbMATH DE Number: 1056997
zbMATH Keywords: Murray Hill, NJ (USA)
zbMATH Keywords: Conference
zbMATH Keywords: Proceedings
zbMATH Keywords: TPHOLs '97
zbMATH Keywords: Higher order logics
MaRDI profile type: Publication
DOI: 10.1007/BFB0028381
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. 20th international conference, TPHOLs 2007, Kaiserslautern, Germany, September 10--13, 2007. 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. 15th international conference, TPHOLs 2002, Hampton, VA, USA, August 20--23, 2002. Proceedings
Recommended article: Theorem proving in higher order logics. 12th international conference, TPHOLs '99. Nice, France, September 14--17, 1999. Proceedings
Recommended article: Theorem proving in higher order logics. 22nd international conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. 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. 18th international conference, TPHOLs 2005, Oxford, UK, August 22--25, 2005. Proceedings.
Recommended article: Theorem proving in higher order logics. 14th international conference, TPHOLs 2001, Edinburgh, Scotland, GB, September 3--6, 2001. Proceedings
Recommended article: Theorem proving in higher order logics. 16th international conference, TPHOLs 2003, Rome, Italy, September 8--12, 2003. Proceedings
description: scientific article; zbMATH DE number 1056997