Skip to content
cs-conference-ranking.org

Douglas J. Howe

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

13

Venues

6

Active years

1986–2010

Best venue rank

A*

Where they publish

Papers

13 indexed papers, newest first.

YearVenueTitleAuthors
2010ITPHigher-Order Abstract Syntax in Isabelle/HOL.Douglas J. Howe
1999CADEFormal Metatheory using Implicit Syntax, and an Application to Data Abstraction for Asynchronous Systems.Amy P. Felty, Douglas J. Howe, Abhik Roychoudhury
1999CSLInteractive Theorem Proving Using Type Theory.Douglas J. Howe
1998CAVProtocol Verification in Nuprl.Amy P. Felty, Douglas J. Howe, Frank A. Stomp
1997CADEHybrid Interactive Theorem Proving Using Nuprl and HOL.Amy P. Felty, Douglas J. Howe
1994CADETactic Theorem Proving with Refinement-Tree Proofs and Metavariables.Amy P. Felty, Douglas J. Howe
1994LPARGeneralization and Reuse of Tactic Proofs.Amy P. Felty, Douglas J. Howe
1991LICSOn Computational Open-Endedness in Martin-Lf's Type TheoryDouglas J. Howe
1990LICSThe Semantics of Reflected ProofStuart F. Allen, Robert L. Constable, Douglas J. Howe, William E. Aitken
1989LICSEquality In Lazy Computation SystemsDouglas J. Howe
1988CADEComputational Metatheory in Nuprl.Douglas J. Howe
1987LICSThe Computational Behaviour of Girard's ParadoxDouglas J. Howe
1986CADEImplementing Number Theory: An Experiment with Nuprl.Douglas J. Howe