|
eCommons@Cornell >
Browsing by Author Demers, Alan J.
Showing results 3 to 11 of 11
| Preview | Issue Date | Title | Author(s) | | Sep-1978 | An Efficient Algorithm for Testing Losslessness of Joins in Relational Data Bases | Liu, Lishing; Demers, Alan J. |
| Sep-1980 | An Informal Description of Russell | Boehm, Hans-J.; Demers, Alan J.; Donahue, James E. |
| Jan-1982 | Making Variables Abstract: An Equational Theory for Russell | Demers, Alan J.; Donahue, James E. |
| Jun-1985 | A Model and Temporal proof system for Networks of Processes | Nguyen, Van Long; Demers, Alan J.; Gries, David; Owicki, Susan S. |
| Oct-1976 | On Encryption Systems Realized by Finite Transducers | Demers, Alan J.; Kelemen, C.; Reusch, Bernd |
| Sep-1980 | The Russell Semantics: An Exercise in Abstract Data Types | Demers, Alan J.; Donahue, James E. |
| Oct-1985 | Safety Without Stuttering | Alpern, Bowen; Demers, Alan J.; Schneider, Fred B. |
| Jul-1976 | Some Comments on Functional Self-Reducibility and the NP Hierarchy | Borodin, Allan B.; Demers, Alan J. |
| Aug-1984 | Sublinear-Space Evaluation Algorithms for Attribute Grammars | Reps, Thomas; Demers, Alan J. |
Showing results 3 to 11 of 11
|
