Unification and Logarithmic Space.

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

Clément Aubert , Marc Bagnol:
Unification and Logarithmic Space. RTA-TLCA 2014: 77-92