Searching for authors named Penny Anderson – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

6 documents found, showing 1 through 6.

Representing Proof Transformations for Program Optimization
by Penny Anderson — 1994 — IN PROCEEDINGS OF THE 12TH INTERNATIONAL CONFERENCE ON AUTOMATED DEDUCTION
… Representing Proof Transformations for Program Optimization Penny Anderson N 2229 Mai 1994 PROGRAMME 2…
Cited by 6 (1 self) – Add To MetaCart

Program Extraction in a Logical Framework Setting
by Penny Anderson — 1994 — IN PROCEEDINGS OF THE 5TH INTERNATIONAL CONFERENCE ON LOGIC PROGRAMMING AND AUTOMATED REASONING
…Program Extraction in a Logical Framework Setting Penny Anderson INRIA, Unit'e de Recherche de…
Cited by 3 (1 self) – Add To MetaCart

Verifying Uniqueness in a Logical Framework
by Penny Anderson, Frank Pfenning — 2004
…Verifying Uniqueness in a Logical Framework Penny Anderson 1 and Frank Pfenning 2# 1 penny…
Cited by 2 (0 self) – Add To MetaCart

Program Development Schemata as Derived Rules
by Penny Anderson, David Basin — 2000
… ANDERSON t AND DAVID BASIN t Department of Computer Science, The College of New Jersey, Ewing, NJ 08628…
Cited by 10 (2 self) – Add To MetaCart

Deriving and Applying Logic Program Transformers
by Penny Anderson, David Basin — 1995 — In Algorithms, 30 P. Anderson and D. Basin Concurrency and Knowledge (1995 Asian Computing Science Conference), volume 1023 of LNCS
…Deriving and Applying Logic Program Transformers Penny Anderson and David Basin Max…
Cited by 6 (4 self) – Add To MetaCart

MADEX: Martian Drilling and Exploration Metropolitan State College of Denver
by Contributors Ryan Cox, John Addante, Don Anderson, Dudley Bacon, Sam Bacon, Shara Barkovich, Jeff Bowman, Andrew Christianson, Jason Dorrier, Mike Giron, Yoshi Goto, Dan Harrington, Rachel Heise, Lindsay Lowe, Webber Eric Wilson, Outside Advisors, Dr. Robert Zubrin, Dr. Penny Boston, Denise Kato, Ralph Eberhardt
… Cox, John Addante, Don Anderson, Dudley Bacon, Sam Bacon, Shara Barkovich, Jeff Bowman, Andrew…
Add To MetaCart

Showing 1 through 6.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB