|
|
eCommons@Cornell >
Browsing by Author "Demers, Alan J."
Showing results 1 to 11 of 11
| Preview | Issue Date | Title | Author(s) | | Jul-1986 | Computation of Aliases and Support Sets | Neirynck, Anne; Panangaden, Prakash; Demers, Alan J. |
| Apr-1981 | Determining Logical Dependency in a Decision Procedure for Equality | Krafft, Dean B.; Demers, Alan J. |
| 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 1 to 11 of 11
|
