Searching for authors named "David Gries" – sorted by Relevance.
13 documents found, showing 1 through 10.
Next 10 →
-
On Presenting Monotonicity and On . . .
- …On Presenting Monotonicity and On EA)AE David Gries Computer Science, Cornell University April…
- Add To MetaCart
-
Formal Versus Semiformal Proof in Teaching Predicate Logic
- …Formal versus semiformal proof in teaching predicate logic David Gries 1 Computer Science…
- Cited by 1 (0 self) – Add To MetaCart
-
A Constructive Proof of Vizing’s Theorem
- …A Constructive Proof of Vizing’s Theorem J Misra and David Gries 1 Computer Sciences, University…
- Cited by 13 (0 self) – Add To MetaCart
-
Interactive Audio Documents
- …-mail: hraman@(email omitted); David Gries Computer Science, Cornell University E-mail: hgries…
- Cited by 3 (1 self) – Add To MetaCart
-
Documents mean more than just Paper!
- …Documents mean more than just Paper! 1 T. V. Raman David Gries Cambridge Research Lab Computer…
- Cited by 3 (2 self) – Add To MetaCart
-
Adding the Everywhere Operator to Propositional Logic
- …Adding the Everywhere Operator to Propositional Logic David Gries and Fred B. Schneider y…
- Cited by 1 (0 self) – Add To MetaCart
-
A New Approach to Teaching Discrete Mathematics
- …A New Approach to Teaching Discrete Mathematics David Gries # and Fred B. Schneider + Computer…
- Cited by 1 (0 self) – Add To MetaCart
-
Formalizations Of Substitution Of Equals For Equals
- …Formalizations Of Substitution Of Equals For Equals David Gries and Fred B. Schneider y…
- Cited by 1 (0 self) – Add To MetaCart
-
[Mathematical Logic and Formal Languages]: Mathematical Logic–proof theory General Terms: Verification
- … Research Center and DAVID GRIES and FRED. B. SCHNEIDER Cornell University We consider incomplete trace…
- Add To MetaCart
-
Avoiding the Undefined by Underspecification
- …Avoiding the Undefined by Underspecification David Gries ? and Fred B. Schneider ?? Computer…
- Cited by 18 (0 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
