Implicit recursion-theoretic characterizations of counting classes

Ugo Dal Lago, Reinhard Kahle, Isabel Oitavem. Implicit recursion-theoretic characterizations of counting classes. Arch. Math. Log., 61(7-8):1129-1144, 2022. [doi]

Abstract

Abstract is missing.