22 citations · 69 across the 23 of their papers we have counts for
Showing 2014Show all
2 papers · 1 filter
cs.LO2014
Logic Programming and Logarithmic Space
Clément Aubert, Marc Bagnol, Paolo Pistone +1
We present an algebraic view on logic programming, related to proof theory and more specifically linear logic and geometry of interaction. Within this construction, a characterizat…
cs.LO2014★ 6 cited
Unification and Logarithmic Space
Clément Aubert, Marc Bagnol
We present an algebraic characterization of the complexity classes Logspace and NLogspace, using an algebra with a composition law based on unification. This new bridge between uni…