1: \begin{abstract}

2: We present an algebraic characterization of the complexity classes \textsc{Logspace} and \textsc{NLogspace}, using an algebra with a composition law based on unification. This new bridge between unification and complexity classes is inspired from proof theory and more specifically linear logic and Geometry of Interaction.

3: 

4: We show how unification can be used to build a model of computation by means of specific subalgebras associated to finite permutations groups.

5: 

6: We then prove that whether an observation (the algebraic counterpart of a program) accepts a word can be decided within logarithmic space.

7: We also show that the construction can naturally represent pointer machines, an intuitive way of understanding logarithmic space computing.

8: 

9: 

10: %	We present an algebraic characterization of the complexity classes \textsc{Logspace} and \textsc{NLogspace} of deterministic and non-deterministic logarithmic space, using an algebra with a composition law based on unification.

11: %	%We show that computation can be modeled in it by means of specific subalgebras related finite permutations groups.

12: %	We show how computation can be modeled in it by means of specific subalgebras related to finite permutations groups.

13: 

14: %	%We also show that the construction can be naturally related with a notion pointer machines, which is another model of logarithmic space computation.

15: %	We also show that the construction can naturally be related to pointer machines, an intuitive way of understanding logarithmic space computation.

16: 	%We also show that the construction can be naturally related with a notion pointer machines, which is another model of logarithmic space computation.

17: \end{abstract}

18: