Searching for authors named "Roger Hale" – sorted by Relevance.
4 documents found, showing 1 through 4.
-
Linking Notations and Theories in a Proof Tool
- … Tool Rachel Cardell-Oliver 1 and Roger Hale 2 1 University of Essex, Department of Computer Science…
- Cited by 1 (0 self) – Add To MetaCart
-
Program Compilation
- ….), Elsevier; 1992 Program Compilation R.W.S. Hale Overview This chapter describes the syntax and semantics…
- Cited by 3 (0 self) – Add To MetaCart
-
An Embedding of Timed Transition Systems in HOL
- …(1&2), Kluwer; 1993 An Embedding of Timed Transition Systems in HOL Rachel Cardell-Oliver, Roger Hale and John…
- Cited by 2 (1 self) – Add To MetaCart
-
Linking Notations and Theories in a Proof Tool
- …Linking Notations and Theories in a Proof Tool Rachel Cardell-Oliver 1 and Roger Hale 2 1…
- Add To MetaCart
Showing 1 through 4.
