3 citations · 3 across the 1 of their papers we have counts for
1 paper
François Pitt
The main contribution of this work is the definition of a quantifier-free string theory T_1 suitable for formalizing ALOGTIME reasoning. After describing L_1 -- a new, simple, alge…