Searching for authors named Richard Statman – sorted by Relevance.
6 documents found, showing 1 through 6.
-
Applications of Plotkin-terms: partitions and morphisms for closed terms
- … Applications of Plotkin-terms: partitions and morphisms for closed terms RICHARD STATMAN Department…
- Add To MetaCart
-
On Statman's Finite Completeness Theorem
- …On Statman's Finite Completeness Theorem Richard Statman Gilles Dowek June 1, 1992 CMU-CS-92…
- Cited by 3 (0 self) – Add To MetaCart
-
On the Unification Problem for Cartesian Closed Categories (Extended Abstract)
- … University Pittsburgh, PA 15213 fp@(email omitted); Richard Statman Department of Mathematics Carnegie Mellon…
- Cited by 16 (4 self) – Add To MetaCart
-
On the structure of Armstrong relations for functional dependencies
- … Research Laboratory, San Jose, Cahforma AND RICHARD STATMAN Rutgers Umversity, New Brunswwk, New Jersey…
- Cited by 35 (3 self) – Add To MetaCart
-
(CHRXCT-92-0046), the Esprit Working Group Types (21900)and the DutchNWO
- …, Robert Maron, Rinus Plasmeijer, Randy Pollack, Kristo er Rose, Richard Shore, Rick Statman and Simon…
- Add To MetaCart
-
and
- … Investments, Inc. 13100 Skyline Boulevard Woodside, CA 94062-4547 650-851-3334 and Meir Statman Glenn Klimek…
- Add To MetaCart
Showing 1 through 6.
