The isomorphism problem on classes of automatic structures with transitive relations

• Autores: Dietrich Kuske, Jiamou Liu, Markus Lohrey
• Localización: Transactions of the American Mathematical Society, ISSN 0002-9947, Vol. 365, Nº 10, 2013, págs. 5103-5151
• Idioma: inglés
• DOI: 10.1090/s0002-9947-2013-05766-2
• Texto completo no disponible (Saber más ...)