Jędrzej Kołodziejski
- Modal Separability of Fixpoint Formulae
2024/06/03 by Jean Christoph Jung, Jung, Jean Christoph, Jędrzej Kołodziejski +1 · 2 citations
Engineering · #03B70 #Advanced Control Systems Optimization #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)