| |
| 2006 | ||
|---|---|---|
| 8 | EE | Sergei M. Abramov, Robert Glück, Yuri A. Klimov: An Universal Resolving Algorithm for Inverse Computation of Lazy Languages. Ershov Memorial Conference 2006: 27-40 |
| 2002 | ||
| 7 | EE | Sergei M. Abramov, Robert Glück: Principles of Inverse Computation and the Universal Resolving Algorithm. The Essence of Computation 2002: 269-295 |
| 6 | EE | Sergei M. Abramov, Robert Glück: The universal resolving algorithm and its correctness: inverse computation in a functional language. Sci. Comput. Program. 43(2-3): 193-229 (2002) |
| 2001 | ||
| 5 | Sergei M. Abramov, Robert Glück: From Standard to Non-Standard Semantics by Semantics Modifiers. Int. J. Found. Comput. Sci. 12(2): 171-211 (2001) | |
| 2000 | ||
| 4 | Sergei M. Abramov, Robert Glück: Principles of Inverse Computation in a Functional Language. APLAS 2000: 141-152 | |
| 3 | EE | Sergei M. Abramov, Robert Glück: Combining Semantics with Non-standard Interpreter Hierarchies. FSTTCS 2000: 201-213 |
| 2 | Sergei M. Abramov, Robert Glück: The Universal Resolving Algorithm: Inverse Computation in a Functional Language. MPC 2000: 187-212 | |
| 1998 | ||
| 1 | Sergei M. Abramov, Robert Glück: Semantics Modifiers: An Approach to Non-Standard Semantics of Programming Languages. Fuji International Symposium on Functional and Logic Programming 1998: 247-270 | |
| 1 | Robert Glück | [1] [2] [3] [4] [5] [6] [7] [8] |
| 2 | Yuri A. Klimov | [8] |