conf.researchr.org / Max Kanovich

Registered user since Wed 21 Oct 2015

Name: Max Kanovich

Contributions

FSCD 2017Author of A polynomial-time algorithm for the Lambek calculus with brackets of bounded order within the FSCD 2017-track
POPL 2016Author of Model Checking for Symbolic-Heap Separation Logic with Inductive Predicates within the Research Papers-track