wikidata.org
Logic in Computer Science
container_cnybbxuptncftdgxtodn5edz7m
Homepage URLs
http://www.wikicfp.com/cfp/program?id=1959 |
Example Publications
Russian Constructivism in a Prefascist Theory
Pierre-Marie Pédrot
2020
|
Logic in Computer Science
doi:10.1145/3373718.3394740 dblp:conf/lics/Pedrot20
Successor-Invariant First-Order Logic on Classes of Bounded Degree
Julien Grange
2020
|
Logic in Computer Science
doi:10.1145/3373718.3394767 dblp:conf/lics/Grange20
Modal Logics with Composition on Finite Forests
Bartosz Bednarczyk, Stéphane Demri, Raul Fervari, Alessio Mansutti
2020
|
Logic in Computer Science
doi:10.1145/3373718.3394787 dblp:conf/lics/BednarczykDFM20
Descriptive complexity of real computation and probabilistic independence logic
Miika Hannula, Juha Kontinen, Jan Van den Bussche, Jonni Virtema
2020
|
Logic in Computer Science
doi:10.1145/3373718.3394773 dblp:conf/lics/HannulaKBV20