Mikolaj Bojanczyk
发表
Laure Daviaud,
Mikolaj Bojanczyk,
Krishna Shankara Narayanan,
2018,
LICS.
Ronald Fagin,
Floris Geerts,
Balder ten Cate,
2011,
Theory of Computing Systems.