## Unification and Logarithmic Space

- Clément Aubert, Marc Bagnol
- Logical Methods in Computer Science
- 2018

@inproceedings{Aubert2014UnificationAL, title={Unification and Logarithmic Space}, author={Cl{\'e}ment Aubert and Marc Bagnol}, booktitle={RTA-TLCA}, year={2014} }

- Published 2014 in RTA-TLCA
DOI:10.1007/978-3-319-08918-8_6

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 unification and complexity classes is inspired from proof theory and more specifically linear logic and Geometry of Interaction. We show how unification can be used to build a model of computation by means of specific subalgebras associated to finite permutations groups. We then prove that whether an observation (the… CONTINUE READING

Recent Discussions

This paper has been referenced on Twitter 8 times over the past 90 days. VIEW TWEETS