Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Astrachan, Owen - Department of Computer Science, Duke University
The Internet Programming Contest: A Report and Philosophy Owen Astrachan
Pictures as Invariants Owen Astrachan
The Internet Programming Contest: A Report and Philosophy Owen Astrachan
OO Overkill: When Simple is Better than Not 1 Owen Astrachan
Bubble Sort: An Archaeological Algorithmic Analysis Owen Astrachan 1
Bubblesort 1 Bubble Sort
Design Patterns by Example Garrett Mitchener
3OBPABM in C++ 1992 Advanced Placement Exam AB
Self-Reference is an Illustrative Essential Owen Astrachan
The Use of Lemmas in the Model Elimination Procedure O.L. Astrachan and D.W. Loveland \Lambda
Design Patterns: An Essential Component of CS Curricula
Application-based Modules using Apprentice Learning for CS 2
Using simulation in an objectsearly approach to CS1 and CS2 Owen Astrachan
Caching and Lemmaizing in Model Elimination Theorem Provers ?
Pander to Ponder Owen Astrachan
The Use of Lemmas in the Model Elimination O.L. Astrachan and D.W. Loveland
FYI: Objects and Patterns 1 OO Overkill
3OBPABM in C++ 1992 Advanced Placement Exam AB
1 INTRODUCTION AAA and CS 1
CS--1993--25 The Use of Lemmas in the Model Elimination
Exploring Model Elimination Theorem Owen Astrachan
CS--1992--21 Investigations in Model Elimination based
Using simulation in an objects-early approach to CS1 and CS2 Owen Astrachan
Caching and Lemmaizing in Model Elimination Theorem Provers
Owen L. Astrachan Department of Computer Science