Soundness in negotiations
Javier Esparza, Denis Kuperberg, Anca Muscholl, Igor Walukiewicz
Published in Logical methods in computer science (01.01.2018)
Published in Logical methods in computer science (01.01.2018)
Get full text
Journal Article
Wreath Products of Forest Algebras, with Applications to Tree Logics
Bojanczyk, Mikolaj, Walukiewicz, Igor, Straubing, Howard
Published in Logical methods in computer science (19.09.2012)
Published in Logical methods in computer science (19.09.2012)
Get full text
Journal Article
Lambda Y-Calculus With Priorities
Walukiewicz, Igor
Published in 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (01.06.2019)
Published in 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (01.06.2019)
Get full text
Conference Proceeding
Simply typed fixpoint calculus and collapsible pushdown automata
SALVATI, SYLVAIN, WALUKIEWICZ, IGOR
Published in Mathematical structures in computer science (01.10.2016)
Published in Mathematical structures in computer science (01.10.2016)
Get full text
Journal Article
Better abstractions for timed automata
Herbreteau, Frédéric, Srivathsan, B., Walukiewicz, Igor
Published in Information and computation (01.12.2016)
Published in Information and computation (01.12.2016)
Get full text
Journal Article