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:28 - 7 self