Theorem proving in higher order logics. 10th international conference, TPHOLs '97. Murray Hill, NJ, USA. August 19--22, 1997. Proceedings (Q1364421)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Theorem proving in higher order logics. 10th international conference, TPHOLs '97. Murray Hill, NJ, USA. August 19--22, 1997. Proceedings |
scientific article; zbMATH DE number 1056997
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Theorem proving in higher order logics. 10th international conference, TPHOLs '97. Murray Hill, NJ, USA. August 19--22, 1997. Proceedings |
scientific article; zbMATH DE number 1056997 |
Statements
Theorem proving in higher order logics. 10th international conference, TPHOLs '97. Murray Hill, NJ, USA. August 19--22, 1997. Proceedings (English)
0 references
4 September 1997
0 references
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]
0 references
Murray Hill, NJ (USA)
0 references
Conference
0 references
Proceedings
0 references
TPHOLs '97
0 references
Higher order logics
0 references
0.9408798
0 references
0.94009787
0 references
0.9350605
0 references
0.9329523
0 references
0.9327792
0 references
0.93092716
0 references
0.92994815
0 references
0.9263848
0 references
0.9234195
0 references
