MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

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

5 documents found, showing 1 through 5.

ATOM

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

Showing 1 through 5.

ATOM

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