The isomorphism problem for ω-automatic trees

Open Webpage

Dietrich Kuske, Jiamou Liu, Markus Lohrey

Published: 2013, Last Modified: 21 Jan 2026Ann. Pure Appl. Log. 2013EveryoneRevisionsBibTeXCC BY-SA 4.0