Browse by Person (creator, editor, contributor, etc.)
Number of items: 25. Article
Hanna, Keith and Daeche, Neil
(1992)
Dependent Types and Formal Synthesis.
Philosophical Transactions of the Royal Society A: Mathematical, Physical & Engineering Sciences.,
339
(1652).
pp. 121135.
ISSN 02610523.
(doi:10.1098/rsta.1992.0029 )
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)


Hanna, Keith and Daeche, Neil
(1992)
The Veritas Design Logic  a Users View.
IFIP Transactions AComputer Science And Technology ,
10
.
pp. 301310.
ISSN 09265473 .
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)


Book section
Hanna, Keith
(1998)
Reasoning about imperfect digital systems.
In: Moller, Bernhard Moller and Tucker, John V, eds.
Prospects for Hardware Foundations.
Lecture Notes in Computer Science, 1546
.
SpringerVerlag Berlin, Berlin, pp. 333355.
ISBN 03029743.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)


Hanna, Keith and Howells, Gareth
(1994)
Parallel Theorem Proving.
In: Runciman, Colin and Wakeling, David, eds.
Applications of Functional Programming.
UCL Press, pp. 221235.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)


Hanna, Keith and Howells, Gareth
(1994)
The Veritas Proof Assistant.
In: Runciman, Colin and Wakeling, David, eds.
Applications of Functional Programming.
UCL Press, pp. 125204.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)


Conference or workshop item
Hanna, Keith
(2002)
Interactive Visual Functional Programming.
In: Proc. Intnl Conf. on Functional Programming, OCT 0406, 2002, Pittsburgh, PA, USA.
(doi:10.1145/581478.581493)
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)


Hanna, Keith
(1994)
Reasoning about Real Digital Circuits.
In: Proc Higher Order Logic Theorem Proving and its Applications.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)


Dent, Alan and Hanna, Keith
(1993)
Reasoning about array structures using a dependently typed logic.
In: Agnew, David and Claesen, Luc J. M. and Camposano, Raul, eds.
IFIP transactions acomputer science and technology.
Elsevier Science Publ B V
pp. 207224.
ISBN 0444816410.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)


Hanna, Keith and Daeche, Neil
(1993)
StronglyTyped Theory of Structures and Behaviours.
In: Correct Hardware Design and Verification Methods.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)


Hanna, Keith and Daeche, Neil and Howells, Gareth
(1992)
Implementation of the Veritas Design Logic.
In:
International Conference On Theorem Provers in Circuit Design : Theory, Practice And Experience.
IFIP Transactions AComputer Science and Technology , 10.
Elsevier Science BV , Nijmegen, Netherlands
pp. 7794.
ISBN 0444896864.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)


Hanna, Keith and Daeche, Neil
(1992)
The Veritas Design Logic  a Users View.
In: International Conf on Theorem Provers in Circuit Design : Theory, Practice and Experience, June 2224, 1992, Nijmegen, Netherlands.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)


Hanna, Keith and Daeche, Neil
(1992)
The Veritas Design Logic; a User''s View.
In: Proc. Theorem Provers in Circuit Design.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)


Hanna, Keith and Daeche, Neil and Longley, Mark
(1989)
Formal Synthesis of Digital Systems.
In: Proc IFIP Intnl. Workshop on Applied Formal Methods for Correct VLSI Design.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)


Hanna, Keith and Daeche, Neil and Longley, Mark
(1989)
Veritas: A Specification Language based on Type Theory.
In: Proc. Workshop on Hardware Specification, Verification and Synthesis, Mathematical Aspects.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)


Hanna, Keith and Daeche, Neil
(1987)
An Algebraic Approach to Computational Logic.
In: Proc Workshop on Programming Logic.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)


Hanna, Keith and Daeche, Neil
(1987)
Specification and Verification of Digital Systems.
In: Proc Conf on Logic and its Application to Computer Science.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)


Hanna, Keith and Daeche, Neil
(1986)
Purely Functional Implementation of a Logic.
In: Proc. 8th Intnl. Conf. on Automated Deduction.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)


Hanna, Keith and Daeche, Neil
(1985)
Specification and Verification using HigherOrder Logic.
In: Computer Hardware Description Languages and their Applications.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)


This list was generated on Tue Jan 17 02:56:21 2017 GMT.
