Descriptive complexity and weighted Turing machines

Guillermo Badia, Manfred Droste, Carles Noguera, Erik Paul. Descriptive complexity and weighted Turing machines. Inf. Comput., 310:105446, 2026. [doi]

Abstract

Abstract is missing.