1 citations · 1 across the 2 of their papers we have counts for
3 papers
cs.FL2021★ 1 cited
On polynomial grammars extended with substitution
Janusz Schmude
We investigate decidability of equivalence of register transducers, also called copyful Streaming String Transducers in case of string input, extended with an operation of substitu…
math.RT2019
Derived Hall algebras of one-cycle gentle algebras: The infinite global dimension case
Grzegorz Bobinski, Janusz Schmude
We describe, in terms of generators and relations, the derived Hall algebras associated to the one-cycle gentle algebras of infinite global dimension.
cs.FL2018
Reducing Transducer Equivalence to Register Automata Problems Solved by "Hilbert Method"
Adrien Boiret, Radosław Piórkowski, Janusz Schmude
In the past decades, classical results from algebra, including Hilbert's Basis Theorem, had various applications in formal languages, including a proof of the Ehrenfeucht Conjectur…