Unification and Logarithmic Space.

Wed, 01 Jan 2014 00:00:00 +0100

Clément Aubert, Marc Bagnol:
Unification and Logarithmic Space. CoRR abs/1402.4327 (2014)