The HOL Logic Extended with Quantification over Type Variables

The HOL Logic Extended with Quantification over Type Variables

Show other versions (1)

Bibliographic Details
Main Author:	Melham, T
Format:	Journal article
Published:	1994

Similar Items

The HOL Logic Extended with Quantification over Type Variables
by: Melham, T
Published: (1993)

The HOL string Library
by: Melham, T
Published: (1991)

The HOL sets Library
by: Melham, T
Published: (1991)

The HOL pred_sets Library
by: Melham, T
Published: (1992)

The HOL finite_sets Library
by: Melham, T
Published: (1992)

A Mechanized Theory of the Π−calculus in HOL
by: Melham, T
Published: (1994)

A Mechanized Theory of the π−calculus in HOL
by: Melham, T
Published: (1991)

A Package for Inductive Relation Definitions in HOL
by: Melham, T
Published: (1992)

A Mechanized Theory of the π−calculus in HOL
by: Melham, T
Published: (1992)

Reasoning with Inductively Defined Relations in the HOL Theorem Prover
by: Camilleri, J, et al.
Published: (1992)

Interactive Proof Discovery: An Empirical Study of HOL Users
by: Aitken, S, et al.
Published: (1995)

Systematic Verification of the Modal Logic Cube in Isabelle/HOL
by: Christoph Benzmüller, et al.
Published: (2015-07-01)

Stateless HOL
by: Freek Wiedijk
Published: (2011-03-01)

Turba Tol Hol-Hol Tol. Venice, Italy, 2022
by: Alfredo Thiermann
Published: (2022-12-01)

Turba Tol Hol-Hol Tol. Venecia, Italia, 2022
by: Alfredo Thiermann
Published: (2022-12-01)

Introduction to HOL: A theorem proving environment for higher order logic
Published: (1993)

The Common HOL Platform
by: Mark Adams
Published: (2015-07-01)

Translating HOL to Dedukti
by: Ali Assaf, et al.
Published: (2015-07-01)

Universal (meta-)logical reasoning: The Wise Men Puzzle (Isabelle/HOL dataset)
by: Christoph Benzmüller
Published: (2019-06-01)

LogiKEy workbench: Deontic logics, logic combinations and expressive ethical and legal reasoning (Isabelle/HOL dataset)
by: Christoph Benzmüller, et al.
Published: (2020-12-01)

Probabilistic guarded commands mechanized in HOL
by: Hurd, J, et al.
Published: (2005)

The Gauge Integral Theory in HOL4
by: Zhiping Shi, et al.
Published: (2013-01-01)

Formalization of Function Matrix Theory in HOL
by: Zhiping Shi, et al.
Published: (2014-01-01)

Hol dolgoznak a falusi fiatalok?
by: Judit Csoba
Published: (2023-03-01)

Formalization of Matrix Theory in HOL4
by: Zhiping Shi, et al.
Published: (2014-08-01)

Conversion of HOL Light proofs into Metamath
by: Mario M Carneiro
Published: (2016-01-01)

Reconstructing veriT Proofs in Isabelle/HOL
by: Mathias Fleury, et al.
Published: (2019-08-01)

ssb gene duplication restores the viability of ΔholC and ΔholD Escherichia coli mutants.
by: Stéphane Duigou, et al.
Published: (2014-10-01)

Unique Solutions of Contractions, CCS, and their HOL Formalisation
by: Chun Tian, et al.
Published: (2018-08-01)

Automating Recursive Type Definitions in Higher Order Logic
by: Melham, T
Published: (1989)

Automating Recursive Type Definitions in Higher Order Logic
by: Melham, T
Published: (1988)

On the proof of the theorems of foundations of geometry using Isabelle/HOL
by: Takahashi, Tadashi, et al.
Published: (2022)

The Women of Al-Hol: Deservingness and the Politics of Vulnerability and Security
by: Mikaela Heikkilä, et al.
Published: (2024-11-01)

Jegybanki transzparencia – hol, miért és milyen hatásokkal?
by: DÁNIEL FELCSER
Published: (2020-08-01)

Hol és hová tart a makroökonómiai modellezés?
by: Balázs Vonnák
Published: (2018-12-01)

Hol tart a növekedéselmélet, és merre halad?
by: Pál Czeglédi
Published: (2006-11-01)

Hol tartanak a mai magyar családnévatlasz munkálatai?
by: Ferenc Vörös
Published: (2011-12-01)

Using Recursive Types to Reason about Hardware in Higher Order Logic
by: Melham, T
Published: (1988)

Using Recursive Types to Reason about Hardware in Higher Order Logic
by: Melham, T
Published: (1988)

Translating Dependent Type Theory into Higher Order Logic
by: Jacobs, B, et al.
Published: (1993)