6. HUG 1993:
Vancouver, BC, Canada
: Reasoning with the Formal Definition of Standard ML in HOL.
Rachel E. O. Roxas
: A HOL Package for Reasoning about Relations Defined by Mutual Induction.
Elsa L. Gunter
: A Broader Class of Trees for Recursive Type Definitions for HOL.
I. S. W. B. Prasetya
: Formalization of Variables Access Constraints to Support Compositionality of Liveness Properties.
: Modelling Bit Vectors in HOL: the word library.
Andrew D. Gordon
: A Mechanisation of Name-Carrying Syntax up to Alpha-Conversion.
: A HOL Decision Procedure for Elementary Real Algebra.
Matthew J. Morley
: Safety in Railway Signalling Data: A Behavioural Analysis.
: Verification in Higher Order Logic of Mutual Exclusion Algorithm.
: Using Isabelle to Prove Simple Theorems.