Conrad Rau

According to our database, Conrad Rau authored at least 4 papers between 2010 and 2013.

Collaborative distances:

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

2013

Algorithms for Extended Alpha-Equivalence and Complexity.

Manfred Schmidt-Schauß, Conrad Rau, David Sabel

Proceedings of the 24th International Conference on Rewriting Techniques and Applications, 2013

2012

Correctness of Program Transformations as a Termination Problem.

Conrad Rau, David Sabel, Manfred Schmidt-Schauß

Proceedings of the Automated Reasoning - 6th International Joint Conference, 2012

2011

A Unification Algorithm to Compute Overlaps in a Call-by-Need Lambda-Calculus with Variable-Binding Chains.

Conrad Rau, Manfred Schmidt-Schauß

Proceedings of the 25th International Workshop on Unification, 2011

2010

Towards Correctness of Program Transformations Through Unification and Critical Pair Computation

Conrad Rau, Manfred Schmidt-Schauß

Proceedings of the Proceedings 24th International Workshop on Unification, 2010