Searching for authors named Paul Jackson – sorted by Relevance.
27 documents found, showing 1 through 10.
Next 10 →
-
Nuprl and its Use in Circuit Design
- …Nuprl and its Use in Circuit Design 1 Paul B. Jackson 2 Department of Computer Science, Upson…
- Cited by 2 (0 self) – Add To MetaCart
-
Total-Correctness Refinement for Sequential Reactive Systems
- …Total-Correctness Refinement for Sequential Reactive Systems DRAFT # Paul B. Jackson + Division…
- Cited by 1 (0 self) – Add To MetaCart
-
Formalization of Divisibility Theory in Nuprl
- …Formalization of Divisibility Theory in Nuprl Paul B. Jackson Laboratory for Foundations…
- Add To MetaCart
-
Verifying a Garbage Collection Algorithm
- …Verifying a Garbage Collection Algorithm yz Paul B. Jackson Department of Computer Science…
- Cited by 14 (1 self) – Add To MetaCart
-
www.elsevier.com/locate/entcs A Compact Linear Translation for Bounded Model Checking 1
- … Compact Linear Translation for Bounded Model Checking 1 Paul B. Jackson 2 School of Informatics…
- Add To MetaCart
-
Enhancing the Nuprl Proof Development System and Applying it to Computational Abstract Algebra
- … of the Requirements for the Degree of Doctor of Philosophy by Paul Bernard Jackson January c fl Paul Bernard Jackson…
- Cited by 42 (4 self) – Add To MetaCart
-
Can we Resolve the Tension between Constructive Type Theorists and Classical Mathematicians?
- …Can we Resolve the Tension between Constructive Type Theorists and Classical Mathematicians? Paul…
- Add To MetaCart
-
Description of the AILS Alerting Algorithm
- …NASA/CR-2000-210109 Description of the AILS Alerting Algorithm Paul Samanant and Mike Jackson…
- Add To MetaCart
-
The Optimality of a Fast CNF Conversion and its Use with SAT
- …The Optimality of a Fast CNF Conversion and its Use with SAT Paul Jackson and Daniel Sheridan 1…
- Cited by 2 (0 self) – Add To MetaCart
-
Towards Integrated Systems for Symbolic Algebra and Formal Constructive Mathematics
- …. Constable* Paul B. Jackson* Cornell University May 13, 1998 Work supported in part by NSF grant CCR…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
