Determinisability of register and timed automata
Clemente, Lorenzo, Lasota, Sławomir, Piórkowski, Radosław
Published in Logical methods in computer science (01.01.2022)
Published in Logical methods in computer science (01.01.2022)
Get full text
Journal Article
New Pumping Technique for 2-dimensional VASS
Czerwiński, Wojciech, Lasota, Sławomir, Löding, Christof, Piórkowski, Radosław
Year of Publication 25.06.2019
Year of Publication 25.06.2019
Get full text
Journal Article
New Pumping Technique for 2-dimensional VASS
Czerwiński, Wojciech, Lasota, Sławomir, Löding, Christof, Piórkowski, Radosław
Published in arXiv.org (25.06.2019)
Get full text
Published in arXiv.org (25.06.2019)
Paper