Bartek Klin (University of Warsaw)
Identifiers
- name variant Bartek Klin (University of Warsaw) 0.60 · backfill
Papers (2)
- SMT Solving for Functional Programming over Infinite Structures cs.PL · 2016 · author #1
- Automata theory in nominal sets cs.LO · 2014 · author #2
Mentions
- 1402.0897 #2 · backfill · confidence 0.70 Bartek Klin (University of Warsaw)
Frequent Coauthors
- Micha{\l} Szynwelski (University of Warsaw) 1 shared papers
- Miko{\l}aj Boja\'nczyk (University of Warsaw) 1 shared papers
- S{\l}awomir Lasota (University of Warsaw) 1 shared papers