Sort
By YearBy Citation
Information and Computation, no. Part (2018): 280-310
EI
RAIRO - Theor. Inf. and Applic., no. 1 (2018): 55-86
EI
Logical Methods in Computer Science, no. 3 (2018)
EI
CSL, pp.3:1-3:16, (2018)
EI
Theory Comput. Syst., no. 4 (2017): 695-736
EIWOS
Theory Comput. Syst., no. 3 (2017): 438-472
EI
Logic in Computer Science, (2017)
EI
computer science logic, pp.472-486, (2015)
View All