On Definitions of Constants and Types in HOL

Journal of Automated Reasoning - Netherlands
doi 10.1007/s10817-016-9366-4
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Science and Business Media LLC

Related search

Social Pedagogues’ Definitions of Three Types of Bullying

2019English

Refinement to Imperative/Hol

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2015English

Definitions of Managed Objects for the DS1, E1, DS2, and E2 Interface Types

2004English

The Formalization of Discrete Fourier Transform in HOL

Mathematical Problems in Engineering
MathematicsEngineering
2015English

Automating Most Parts of Hardware Proofs in HOL

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1992English

Certified Connection Tableaux Proofs for HOL Light and TPTP

2015English

On Definitions of Superharmonic Functions

Annales de l'Institut Fourier
GeometryTopologyNumber TheoryAlgebra
1975English

From LCF to Isabelle/Hol

Formal Aspects of Computing
Theoretical Computer ScienceSoftware
2019English

Formalizing Network Flow Algorithms: A Refinement Approach in Isabelle/Hol

Journal of Automated Reasoning
Computational TheorySoftwareArtificial IntelligenceMathematics
2017English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy