
views: 21
Dietrich Kuske
Sign in to view more

Ego Network
D-Core
Research Interests
Author Statistics
Experience
Sign in to view more
Education
Sign in to view more
Bio
None
Papers117 papers
Sort
By YearBy Citation
Information and Computation, no. Part (2018): 280-310
RAIRO - Theor. Inf. and Applic., no. 1 (2018): 55-86
Logical Methods in Computer Science, no. 3 (2018)
ICALP, pp.133:1-133:14, (2018)
CSL, pp.3:1-3:16, (2018)
Theory Comput. Syst., no. 4 (2017): 695-736
Semigroup Forum, no. 3 (2017): 475-508
Theory Comput. Syst., no. 3 (2017): 438-472
LICS, pp.1-12, (2017)
GandALF, pp.213-227, (2016)
LICS, pp.277-286, (2016)
Cassting/SynCoP, pp.27-38, (2016)
computer science logic, pp.472-486, (2015)
Theor. Comput. Sci., (2014): 46-63
MFCS (1), no. 3 (2014): 340-351
MFCS, pp.619-630, (2013)
View All