Algebra and Logic

Article
Bonfante,G;Kahle,R;Marion,JY;Oitavem,I
INFORMATION AND COMPUTATION
4th Workshop on Developments in Implicit Computational Complexity

2016
248

82-103
10.1016/j.ic.2015.12.009