DMCA

Algorithms for Extended Alpha-Equivalence and Complexity (2013)

by Manfred Schmidt-Schauß , Conrad Rau , David Sabel