Showing 1 - 5 results of 5 for search 'Bartek Klin', query time: 0.02s
Refine Results
-
1
A non-regular language of infinite trees that is recognizable by a sort-wise finite algebra by Mikołaj Bojańczyk, Bartek Klin
Published 2019-11-01
Article -
2
Coalgebraic trace semantics via forgetful logics by Bartek Klin, Jurriaan Rot
Published 2017-04-01
Article -
3
Scalar and Vectorial mu-calculus with Atoms by Bartek Klin, Mateusz Łełyk
Published 2019-10-01
Article -
4
Automata theory in nominal sets by Mikołaj Bojańczyk, Bartek Klin, Sławomir Lasota
Published 2014-08-01
Article -
5
Definable isomorphism problem by Khadijeh Keshvardoost, Bartek Klin, Sławomir Lasota, Joanna Ochremiak, Szymon Toruńczyk
Published 2019-12-01
Article