| |
| * | 2009 | |
|---|---|---|
| 7 | EE | Carlos Loría-Sáenz: On Requirements for Programming Exercises from an E-learning Perspective CoRR abs/0903.0786: (2009) |
| 2000 | ||
| 6 | EE | Toshiyuki Yamada, Jürgen Avenhaus, Carlos Loría-Sáenz, Aart Middeldorp: Logicality of conditional rewrite systems. Theor. Comput. Sci. 236(1-2): 209-232 (2000) |
| 1997 | ||
| 5 | EE | Toshiyuki Yamada, Jürgen Avenhaus, Carlos Loría-Sáenz, Aart Middeldorp: Logicality of Conditional Rewrite Systems. TAPSOFT 1997: 141-152 |
| 1994 | ||
| 4 | Jürgen Avenhaus, Carlos Loría-Sáenz: Higher Order Conditional Rewriting and Narrowing. CCL 1994: 269-284 | |
| 3 | EE | Jürgen Avenhaus, Carlos Loría-Sáenz: On Conditional Rewrite Systems with Extra Variables and Deterministic Logic Programs. LPAR 1994: 215-229 |
| 1992 | ||
| 2 | Carlos Loría-Sáenz, Joachim Steinbach: Termination of Combined (Rewrite and lambda-Calculus) Systems. CTRS 1992: 143-147 | |
| 1 | Carlos Loría-Sáenz: Synthesis of Narrowing Programs. LOPSTR 1992: 30-45 | |
| 1 | Jürgen Avenhaus | [3] [4] [5] [6] |
| 2 | Aart Middeldorp | [5] [6] |
| 3 | Joachim Steinbach | [2] |
| 4 | Toshiyuki Yamada | [5] [6] |