On the Complexity of Equivalence of Specifications of Infinite Objects

Joerg Endrullis, Dimitri Hendriks, Rena Bakhshi

We study the complexity of deciding the equality of infinite objects specified by systems of equations, and of infinite objects specified by lambda-terms. For equational specificat…