Searching for authors named "Bernard Sufrin" – sorted by Relevance.
9 documents found, showing 1 through 9.
-
Using J'n'J in Unix/X JAPE: Natural Deduction using the Jape Proof Editor
- … Editor Bernard Sufrin Richard Bornat PRG-TR-10-98 Oxford University Computing Laboratory Wolfson…
- Add To MetaCart
-
User Interfaces for Generic Proof Assistants Part I: Interpreting Gestures
- …User Interfaces for Generic Proof Assistants Part I: Interpreting Gestures Bernard Sufrin y…
- Cited by 5 (2 self) – Add To MetaCart
-
Displaying sequent-calculus proofs in natural-deduction style: experience with the Jape proof calculator.
- … proof calculator. Richard Bornat (QMW, University of London) Bernard Sufrin (PRG, Oxford University…
- Cited by 1 (1 self) – Add To MetaCart
-
Jape's Quiet Interface
- … College, University of London Bernard Sufrin, Programming Research Group, University of Oxford (submitted…
- Cited by 8 (0 self) – Add To MetaCart
-
Animating Operational Semantics with
- …Animating Operational Semantics with Jape Bernard Sufrin Richard Bornat y Revision 1.25 z…
- Add To MetaCart
-
User Interfaces for Generic Proof Assistants Part II: Displaying Proofs
- …User Interfaces for Generic Proof Assistants Part II: Displaying Proofs Bernard Sufrin y…
- Add To MetaCart
-
Modeless Structure Editing
- …Modeless Structure Editing In honour of Tony Hoare on his retirement from Oxford Bernard Sufrin…
- Cited by 3 (0 self) – Add To MetaCart
-
Richard Bornat
- …J'n'J in Jape Bernard Sufrin Richard Bornat y September 19, 1997 Abstract In this note we show…
- Add To MetaCart
-
Encoding a Natural Deduction System for the Jape Proof Editor Bernard Sufrin Richard Bornat PRG-TR-9-98
- … Editor Bernard Sufrin Richard Bornat PRG-TR-9-98 Oxford University Computing Laboratory Wolfson…
- Add To MetaCart
Showing 1 through 9.
