Decidability of equivalence for deterministic synchronized tree automata
From MaRDI portal
Publication:5096728
DOI10.1007/3-540-59293-8_192zbMath1496.68180MaRDI QIDQ5096728
Publication date: 18 August 2022
Published in: TAPSOFT '95: Theory and Practice of Software Development (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/3-540-59293-8_192
68Q45: Formal languages and automata