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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540584506, 9783540488033

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Datatypes in L2

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

10.1007/3-540-58450-1_39 ◽

1994 ◽

pp. 128-143

Author(s):

Nick Chapman ◽

Simon Finn ◽

Michael P. Fourman

Download Full-text

Highlighting the lambda-free fragment of Automath

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

10.1007/3-540-58450-1_36 ◽

1994 ◽

pp. 81-96

Author(s):

N. G. Bruijn

Download Full-text

Binary decision diagrams as a HOL derived rule

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

10.1007/3-540-58450-1_47 ◽

1994 ◽

pp. 254-268

Author(s):

John Harrison

Keyword(s):

Binary Decision Diagrams ◽

Decision Diagrams ◽

Binary Decision

Download Full-text

Tracking design changes with formal verification

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

10.1007/3-540-58450-1_42 ◽

1994 ◽

pp. 177-192

Author(s):

Paul Curzon

Keyword(s):

Formal Verification ◽

Design Changes

Download Full-text

A graphical tool for proving UNITY progress

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

10.1007/3-540-58450-1_32 ◽

1994 ◽

pp. 17-32 ◽

Cited By ~ 3

Author(s):

Flemming Andersen ◽

Kim Dam Petersen ◽

Jimmi S. Pettersson

Keyword(s):

Graphical Tool

Download Full-text

Implementational issues for verifying RISC-pipeline conflicts in HOL

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

10.1007/3-540-58450-1_58 ◽

1994 ◽

pp. 424-439 ◽

Cited By ~ 2

Author(s):

Sofiène Tahar ◽

Ramayya Kumar

Download Full-text

Studying the ML module system in HOL

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

10.1007/3-540-58450-1_53 ◽

1994 ◽

pp. 346-361 ◽

Cited By ~ 5

Author(s):

Savi Maharaj ◽

Elsa Gunter

Keyword(s):

Module System

Download Full-text

Symbolic animation as a proof tool

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

10.1007/3-540-58450-1_38 ◽

1994 ◽

pp. 113-127 ◽

Cited By ~ 3

Author(s):

Juanito Camilleri ◽

Vincent Zammit

Download Full-text

LCF examples in HOL

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

10.1007/3-540-58450-1_31 ◽

1994 ◽

pp. 1-16

Author(s):

Sten Agerholm

Download Full-text

A formal theory of undirected graphs in higher-order logc

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

10.1007/3-540-58450-1_40 ◽

1994 ◽

pp. 144-157 ◽

Cited By ~ 10

Author(s):

Ching-Tsun Chou

Keyword(s):

Formal Theory ◽

Higher Order ◽

Undirected Graphs

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Datatypes in L2

Highlighting the lambda-free fragment of Automath

Binary decision diagrams as a HOL derived rule

Tracking design changes with formal verification

A graphical tool for proving UNITY progress

Implementational issues for verifying RISC-pipeline conflicts in HOL

Studying the ML module system in HOL

Symbolic animation as a proof tool

LCF examples in HOL

A formal theory of undirected graphs in higher-order logc

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