Searching for authors named Richard Statman – sorted by Relevance.
-
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

