The SCEAS System
| |||||||

## Search the dblp DataBase
Douglas J. Howe:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
## Publications of Author- Douglas J. Howe
**Semantic Foundations for Embedding HOL in Nuprl.**[Citation Graph (0, 0)][DBLP] AMAST, 1996, pp:85-101 [Conf] - Amy P. Felty, Douglas J. Howe
**Tactic Theorem Proving with Refinement-Tree Proofs and Metavariables.**[Citation Graph (0, 0)][DBLP] CADE, 1994, pp:605-619 [Conf] - Amy P. Felty, Douglas J. Howe
**Hybrid Interactive Theorem Proving Using Nuprl and HOL.**[Citation Graph (0, 0)][DBLP] CADE, 1997, pp:351-365 [Conf] - Amy P. Felty, Douglas J. Howe, Abhik Roychoudhury
**Formal Metatheory using Implicit Syntax, and an Application to Data Abstraction for Asynchronous Systems.**[Citation Graph (0, 0)][DBLP] CADE, 1999, pp:237-251 [Conf] - Douglas J. Howe
**Implementing Number Theory: An Experiment with Nuprl.**[Citation Graph (0, 0)][DBLP] CADE, 1986, pp:404-415 [Conf] - Douglas J. Howe
**Computational Metatheory in Nuprl.**[Citation Graph (0, 0)][DBLP] CADE, 1988, pp:238-257 [Conf] - Amy P. Felty, Douglas J. Howe, Frank A. Stomp
**Protocol Verification in Nuprl.**[Citation Graph (0, 0)][DBLP] CAV, 1998, pp:428-439 [Conf] - Jawahar Chirimar, Douglas J. Howe
**Implementing Constructive Real Analysis: Preliminary Report.**[Citation Graph (0, 0)][DBLP] Constructivity in Computer Science, 1991, pp:165-178 [Conf] - Douglas J. Howe
**Interactive Theorem Proving Using Type Theory.**[Citation Graph (0, 0)][DBLP] CSL, 1999, pp:578- [Conf] - Stuart F. Allen, Robert L. Constable, Douglas J. Howe, William E. Aitken
**The Semantics of Reflected Proof**[Citation Graph (0, 0)][DBLP] LICS, 1990, pp:95-105 [Conf] - Douglas J. Howe
**The Computational Behaviour of Girard's Paradox**[Citation Graph (0, 0)][DBLP] LICS, 1987, pp:205-214 [Conf] - Douglas J. Howe
**Equality In Lazy Computation Systems**[Citation Graph (0, 0)][DBLP] LICS, 1989, pp:198-203 [Conf] - Douglas J. Howe
**On Computational Open-Endedness in Martin-Löf's Type Theory**[Citation Graph (0, 0)][DBLP] LICS, 1991, pp:162-172 [Conf] - Amy P. Felty, Douglas J. Howe
**Generalization and Reuse of Tactic Proofs.**[Citation Graph (0, 0)][DBLP] LPAR, 1994, pp:1-15 [Conf] - Douglas J. Howe
**Reasoning About Functional Programs in Nuprl.**[Citation Graph (0, 0)][DBLP] Functional Programming, Concurrency, Simulation and Automated Reasoning, 1993, pp:145-164 [Conf] - Douglas J. Howe, Scott D. Stoller
**An Operational Approach to Combining Classical Set Theory and Functional Programming Languages.**[Citation Graph (0, 0)][DBLP] TACS, 1994, pp:36-55 [Conf] - David A. Basin, Douglas J. Howe
**Some Normalization Properties of Martin-Löf's Type Theory, and Applications.**[Citation Graph (0, 0)][DBLP] TACS, 1991, pp:475-494 [Conf] - Douglas J. Howe
**A Type Annotation Scheme for Nuprl.**[Citation Graph (0, 0)][DBLP] TPHOLs, 1998, pp:207-224 [Conf] - Douglas J. Howe
**Importing Mathematics from HOL into Nuprl.**[Citation Graph (0, 0)][DBLP] TPHOLs, 1996, pp:267-281 [Conf] - Douglas J. Howe
**Proving Congruence of Bisimulation in Functional Programming Languages.**[Citation Graph (0, 0)][DBLP] Inf. Comput., 1996, v:124, n:2, pp:103-112 [Journal] **Higher-Order Abstract Syntax in Isabelle/HOL.**[Citation Graph (, )][DBLP]
Search in 0.003secs, Finished in 0.004secs | |||||||

| |||||||

| |||||||

System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002 for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002 |