Higher Order Logic Theorem Proving and Its Applications

7th International Workshop, Valletta, Malta, September 19-22, 1994. Proceedings

By: Thomas F. Melham (Editor), Juanito Camilleri (Editor)

Write A Review

Paperback | 7 September 1994

At a Glance

Paperback
492 Pages

Dimensions(cm)
23.39 x 15.6 x 2.52

Paperback

$84.99

or 4 interest-free payments of $21.25 with

or

Ships in 5 to 7 business days

This volume presents the proceedings of the 7th International Workshop on Higher Order Logic Theorem Proving and Its Applications held in Valetta, Malta in September 1994.
Besides 3 invited papers, the proceedings contains 27 refereed papers selected from 42 submissions. In total the book presents many new results by leading researchers working on the design and applications of theorem provers for higher order logic. In particular, this book gives a thorough state-of-the-art report on applications of the HOL system, one of the most widely used theorem provers for higher order logic.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $79.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

More in Mathematical Logic

Current Trends in Automated Reasoning - Erika Bach

$31.75

21%
OFF

The Language of Mathematics

The Stories behind the Symbols

Hardcover

RRP $49.99

$40.75

18%
OFF

How to Prove It

A Structured Approach

Paperback

RRP $73.95

$70.75

Cryptocurrency Forensics and Investigation using Open Source Intelligence Techniques (OSINT)

Volume I

Paperback

RRP $94.99

$85.75

10%
OFF

Cryptocurrency Forensics and Investigation using Open Source Intelligence Techniques (OSINT)

Volume I

Hardcover

RRP $231.00

$202.75

12%
OFF

Introduction to Modern Cryptography

Chapman & Hall/Crc Cryptography and Network Security

Hardcover

RRP $242.00

$233.75

Introduction to Modern Cryptography : Revised Third Edition - Jonathan Katz

$187.75

Ignorance

What We Do Not Know, Cannot Know, Must Not Know, and Refuse to Know

Hardcover

RRP $46.95

$40.75

13%
OFF

Cause, Effect, and Everything in Between

An Introduction to Causal Inference

Hardcover

RRP $183.95

$137.75

25%
OFF

Computable Structure Theory

Beyond the Arithmetic

Hardcover

RRP $230.95

$201.99

13%
OFF

LCF Examples in HOL	p. 1
A Graphical Tool for Proving UNITY Progress	p. 17
Reasoning About a Class of Linear Systems of Equations in HOL	p. 33
Towards a HOL Theory of Memory	p. 49
Providing Tractable Security Analyses in HOL	p. 65
Highlighting the Lambda-free Fragment of Automath	p. 81
First-Order Automation for Higher-Order-Logic Theorem Proving	p. 97
Symbolic Animation as a Proof Tool	p. 113
Datatypes in L2	p. 128
A Formal Theory of Undirected Graphs in Higher-Order Logic	p. 144
Mechanical Verification of Distributed Algorithms in Higher-Order Logic	p. 158
Tracking Design Changes with Formal Verification	p. 177
Weak Systems of Set Theory Related to HOL	p. 193
Interval-Semantic Component Models and the Efficient Verification of Transaction-Level Circuit Behavior	p. 205
An Interpretation of NODEN in HOL	p. 221
Reasoning about Real Circuits	p. 235
Binary Decision Diagrams as a HOL Derived Rule	p. 254
Trustworthy Tools for Trustworthy Programs: A Verified Verification Condition Generator	p. 269
S : A Machine Readable Specification Notation Based on Higher Order Logic	p. 285
An Engineering Approach to Formal Digital System Design	p. 300
Generating Designs Using an Algorithmic Register Transfer Language with Formal Semantics	p. 316
A HOL Formalisation of the Temporal Logic of Actions	p. 332
Studying the ML Module System in HOL	p. 346
Towards a Mechanically Supported and Compositional Calculus to Design Distributed Algorithms	p. 362
Simplifying Deep Embedding: A Formalised Code Generator	p. 378
Automating Verification by Functional Abstraction at the System Level	p. 391
A Parameterized Proof Manager	p. 407
Implementational Issues for Verifying RISC-Pipeline Conflicts in HOL	p. 424
Specifying Instruction-Set Architectures in HOL: A Primer	p. 440
Representing Higher Order Logic Proofs in HOL	p. 456
Table of Contents provided by Blackwell. All Rights Reserved.

Higher Order Logic Theorem Proving and Its Applications

7th International Workshop, Valletta, Malta, September 19-22, 1994. Proceedings

At a Glance

Paperback

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Mathematical Logic

Current Trends in Automated Reasoning

Automated Theorem Proving

Theory and Practice

Handbook of Automated Reasoning

Current Trends in Automated Theorem Proving

Automated Deduction

From Theory to Applications

Advances in Automated Reasoning

Unequal

The Maths of When Things Do and Don't Add Up

The Language of Mathematics

The Stories behind the Symbols

How to Prove It

A Structured Approach

Cryptocurrency Forensics and Investigation using Open Source Intelligence Techniques (OSINT)

Volume I

Cryptocurrency Forensics and Investigation using Open Source Intelligence Techniques (OSINT)

Volume I

Introduction to Modern Cryptography

Chapman & Hall/Crc Cryptography and Network Security

Introduction to Modern Cryptography

Revised Third Edition

Introduction to Mathematical Logic

Discrete Mathematics and Its Applications

Fuzzy Logic in Revolutionizing Renewable Energy

Jenny Stanford Series on Fuzzy Theory Frontiers Vol. 2

Strongly Minimal Sets and Categoricity in Continuous Logic

Ignorance

What We Do Not Know, Cannot Know, Must Not Know, and Refuse to Know

Cause, Effect, and Everything in Between

An Introduction to Causal Inference

Computable Structure Theory

Beyond the Arithmetic

Cartesian Cubical Model Categories

Fuzzy Logic

An Introductory Text

Modern Mathematical Logic

What Is Mathematical Logic 2E Cloth

The Equation of Knowledge

From Bayes' Rule to a Unified Philosophy of Science

This product is categorised by