Carlos Loría-Sáenz

According to our database, Carlos Loría-Sáenz authored at least 7 papers between 1992 and 2009.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2009

On Requirements for Programming Exercises from an E-learning Perspective

Carlos Loría-Sáenz

CoRR, 2009

2000

Logicality of conditional rewrite systems.

Toshiyuki Yamada, Jürgen Avenhaus, Carlos Loría-Sáenz, Aart Middeldorp

Theor. Comput. Sci., 2000

1994

On Conditional Rewrite Systems with Extra Variables and Deterministic Logic Programs.

Jürgen Avenhaus, Carlos Loría-Sáenz

Proceedings of the Logic Programming and Automated Reasoning, 5th International Conference, 1994

Higher Order Conditional Rewriting and Narrowing.

Jürgen Avenhaus, Carlos Loría-Sáenz

Proceedings of the Constraints in Computational Logics, First International Conference, 1994

1993

A theoretical framework for reasoning about program construction based on extensions of rewrite systems.

Carlos Loría-Sáenz

PhD thesis, 1993

1992

Synthesis of Narrowing Programs.

Carlos Loría-Sáenz

Proceedings of the Logic Program Synthesis and Transformation, 1992

Termination of Combined (Rewrite and lambda-Calculus) Systems.

Carlos Loría-Sáenz, Joachim Steinbach

Proceedings of the Conditional Term Rewriting Systems, Third International Workshop, 1992