On Equality Up-to Constraints over Finite Trees, Context Unification, and One-Step Rewriting (0)

Cached

Download Links

by Joachim Niehren , Manfred Pinkal , Peter Ruhrberg
Citations:27 - 7 self