From Infinite to Finite by Identifying Variables in Many-Valued Logic

Arto Salomaa. From Infinite to Finite by Identifying Variables in Many-Valued Logic. Journal of Automata, Languages and Combinatorics, 23(1-3):293-301, 2018. [doi]

Abstract

Abstract is missing.