×

zbMATH — the first resource for mathematics

Edit Profile

Lengál, Ondřej

Compute Distance To:
Author ID: lengal.ondrej
Published as: Lengál, Ondřej
External Links: ORCID
Documents Indexed: 9 Publications since 2011
all top 5

Co-Authors

0 single-authored
9 Vojnar, Tomáš
6 Holík, Lukáš
2 Abdulla, Parosh Aziz
2 Enea, Constantin
2 Fiedor, Tomáš
2 Jonsson, Bengt
2 Sighireanu, Mihaela
2 Šimáček, Jiří
2 Trinh, Cong Quy
1 Hruška, Martin
1 Rogalewicz, Adam

Serials

2 Acta Informatica
1 Formal Methods in System Design

Fields

9 Computer science (68-XX)
3 Mathematical logic and foundations (03-XX)

Publications by Year

Citations contained in zbMATH

Access to citation profile requires subscription