Michal Szynwelski

Publication Activity (10 Years)

Years Active: 2016-2017
Publications (10 Years): 3

Top Topics

Learning Scheme

Cellular Automata

Functional Programming

Quantifier Elimination

Top Venues

Publications

Joshua Moerman, Matteo Sammartino, Alexandra Silva, Bartek Klin, Michal Szynwelski
Learning nominal automata. POPL (2017)
Bartek Klin, Michal Szynwelski
SMT Solving for Functional Programming over Infinite Structures. MSFP (2016)
Joshua Moerman, Matteo Sammartino, Alexandra Silva, Bartek Klin, Michal Szynwelski
Learning Nominal Automata. CoRR (2016)