Conrad Rau

Publication Activity (10 Years)

Years Active: 2010-2013
Publications (10 Years): 0

Top Topics

Lower Complexity

Computationally Efficient

High Computational Complexity

Top Venues

Publications

Manfred Schmidt-Schauß, Conrad Rau, David Sabel
Algorithms for Extended Alpha-Equivalence and Complexity. RTA (2013)
Conrad Rau, David Sabel, Manfred Schmidt-Schauß
Correctness of Program Transformations as a Termination Problem. IJCAR (2012)
Conrad Rau, Manfred Schmidt-Schauß
A Unification Algorithm to Compute Overlaps in a Call-by-Need Lambda-Calculus with Variable-Binding Chains. UNIF (2011)
Conrad Rau, Manfred Schmidt-Schauß
Towards Correctness of Program Transformations Through Unification and Critical Pair Computation UNIF (2010)