2 results
A correspondence between maximal abelian sub-algebras and linear logic fragments
-
- Journal:
- Mathematical Structures in Computer Science / Volume 28 / Issue 1 / January 2018
- Published online by Cambridge University Press:
- 28 July 2016, pp. 77-139
-
- Article
- Export citation
Characterizing co-NL by a group action
-
- Journal:
- Mathematical Structures in Computer Science / Volume 26 / Issue 4 / May 2016
- Published online by Cambridge University Press:
- 05 December 2014, pp. 606-638
-
- Article
- Export citation