Bartek Klin (University of Warsaw)

Identifiers

• name variant Bartek Klin (University of Warsaw) 0.60 · backfill

Papers (2)

1. SMT Solving for Functional Programming over Infinite Structures cs.PL · 2016 · author #1
2. 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