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. CoRR abs/1406.2110 (2014)