Deciding equivalence of separated non-nested attribute systems in polynomial time

DOI10.1007/978-3-030-17127-8_28OpenAlexW2932205649MaRDI QIDQ2289099

Sebastian Maneth, Raphaela Palenta, Helmut Seidl

Publication date: 28 January 2020

Full work available at URL: https://arxiv.org/abs/1902.03858

Mathematics Subject Classification ID

Theory of computing (68Qxx) Theory of software (68Nxx)

Related Items (1)

Deciding origin equivalence of weakly self-nesting macro tree transducers

This page was built for publication: Deciding equivalence of separated non-nested attribute systems in polynomial time