Algebra and Logic
Article
Dal Lago,U;Kahle,R;Oitavem,I
ARCHIVE FOR MATHEMATICAL LOGIC
2022
61
7-8
1129-1144
10.1007/s00153-022-00828-4
Implicit recursion-theoretic characterizations of counting classes
NOVA Math > NOVA Math > NOVA Math Publications > Implicit recursion-theoretic characterizations of counting classes