Logic Programming and Logarithmic Space.

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

Clément Aubert , Marc Bagnol, Paolo Pistone , Thomas Seiller:
Logic Programming and Logarithmic Space. APLAS 2014: 39-57