Olle Fredriksson
发表
D. Ghica,
Olle Fredriksson,
Bertram Wheen,
2014
.
Olle Fredriksson,
Bertram Wheen,
2015
.
Olle Fredriksson,
2013
.
Dan R. Ghica,
Olle Fredriksson,
Bertram Wheen,
2014,
IFL.
Dan R. Ghica,
Olle Fredriksson,
D. Ghica,
2013,
2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science.
Daniel Gustafsson,
Olle Fredriksson,
Daniel Gustafsson,
2011
.