Higher Order Logic Theorem Proving and Its Applications - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

26

(FIVE YEARS 0)

H-INDEX

7

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540602750, 9783540447849

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Interfacing HOL90 with a functional database query language

Higher Order Logic Theorem Proving and Its Applications - Lecture Notes in Computer Science ◽

10.1007/3-540-60275-5_64 ◽

1995 ◽

pp. 170-185

Author(s):

Elsa L. Gunter ◽

Leonid Libkin

Keyword(s):

Query Language ◽

Database Query ◽

Database Query Language

Download Full-text

Automatically synthesized term denotation predicates: A proof aid

Higher Order Logic Theorem Proving and Its Applications - Lecture Notes in Computer Science ◽

10.1007/3-540-60275-5_56 ◽

1995 ◽

pp. 46-57 ◽

Author(s):

Paul E. Black ◽

Phillip J. Windley

Download Full-text

Formal verification of counterflow pipeline architecture

Higher Order Logic Theorem Proving and Its Applications - Lecture Notes in Computer Science ◽

10.1007/3-540-60275-5_70 ◽

1995 ◽

pp. 261-276 ◽

Author(s):

Paul N. Loewenstein

Keyword(s):

Formal Verification ◽

Pipeline Architecture

Download Full-text

A theory of finite maps

Higher Order Logic Theorem Proving and Its Applications - Lecture Notes in Computer Science ◽

10.1007/3-540-60275-5_61 ◽

1995 ◽

pp. 122-137 ◽

Author(s):

Graham Collins ◽

Donald Syme

Download Full-text

Very efficient conversions

Higher Order Logic Theorem Proving and Its Applications - Lecture Notes in Computer Science ◽

10.1007/3-540-60275-5_75 ◽

1995 ◽

pp. 340-352 ◽

Author(s):

Morten Welinder

Download Full-text

Floating point verification in HOL

Higher Order Logic Theorem Proving and Its Applications - Lecture Notes in Computer Science ◽

10.1007/3-540-60275-5_65 ◽

1995 ◽

pp. 186-199 ◽

Author(s):

John Harrison

Keyword(s):

Download Full-text

A practical method for reasoning about distributed systems in a theorem prover

Higher Order Logic Theorem Proving and Its Applications - Lecture Notes in Computer Science ◽

10.1007/3-540-60275-5_60 ◽

1995 ◽

pp. 106-121 ◽

Author(s):

Holger Busch

Keyword(s):

Distributed Systems ◽

Practical Method ◽

Download Full-text

Combining decision procedures in the HOL system

Higher Order Logic Theorem Proving and Its Applications - Lecture Notes in Computer Science ◽

10.1007/3-540-60275-5_58 ◽

1995 ◽

pp. 75-89 ◽

Author(s):

Richard J. Boulton

Keyword(s):

Decision Procedures

Download Full-text

Mechanizing a π-calculus equivalence in HOL

Higher Order Logic Theorem Proving and Its Applications - Lecture Notes in Computer Science ◽

10.1007/3-540-60275-5_53 ◽

1995 ◽

pp. 1-16 ◽

Author(s):

Otmane Aït Mohamed

Keyword(s):

Download Full-text

An automata theory dedicated towards formal circuit synthesis

Higher Order Logic Theorem Proving and Its Applications - Lecture Notes in Computer Science ◽

10.1007/3-540-60275-5_63 ◽

1995 ◽

pp. 154-169 ◽

Author(s):

Dirk Eisenbiegler ◽

Ramayya Kumar

Keyword(s):

Automata Theory ◽

Circuit Synthesis

Download Full-text