Carlos Loría-Sáenz

Publication Activity (10 Years)

Years Active: 1992-2009
Publications (10 Years): 0

Kaiserslautern University of Technology, Germany (PHD)

Education History

Kaiserslautern University of Technology, Germany

PHD

Publications

Carlos Loría-Sáenz
On Requirements for Programming Exercises from an E-learning Perspective CoRR (2009)
Toshiyuki Yamada, Jürgen Avenhaus, Carlos Loría-Sáenz, Aart Middeldorp
Logicality of conditional rewrite systems. Theor. Comput. Sci. 236 (1-2) (2000)
Toshiyuki Yamada, Jürgen Avenhaus, Carlos Loría-Sáenz, Aart Middeldorp
Logicality of Conditional Rewrite Systems. TAPSOFT (1997)
Jürgen Avenhaus, Carlos Loría-Sáenz
Higher Order Conditional Rewriting and Narrowing. CCL (1994)
Jürgen Avenhaus, Carlos Loría-Sáenz
On Conditional Rewrite Systems with Extra Variables and Deterministic Logic Programs. LPAR (1994)
Carlos Loría-Sáenz
Synthesis of Narrowing Programs. LOPSTR (1992)
Carlos Loría-Sáenz, Joachim Steinbach
Termination of Combined (Rewrite and lambda-Calculus) Systems. CTRS (1992)