-
1by Colcombet, Thomas, Jurdzinski, Marcin, Lazić, Ranko, Schmitz, SylvainContributors: “...European Project: 259454,EC:FP7:ERC,ERC-2010-StG_20091028,GALE(2011)...”
Published in 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (2017)
Get access
Get access
Conference Object -
2by Colcombet, Thomas, Jurdzinski, Marcin, Lazić, Ranko, Schmitz, SylvainContributors: “...European Project: 259454,EC:FP7:ERC,ERC-2010-StG_20091028,GALE(2011)...”
Published in 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (2017)
Get access
Get access
Conference Object -
3by Colcombet, Thomas, Jurdzinski, Marcin, Lazić, Ranko, Schmitz, SylvainContributors: “...European Project: 259454,EC:FP7:ERC,ERC-2010-StG_20091028,GALE(2011)...”
Published in 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (2017)
Get access
Get access
Conference Object -
4by Colcombet, Thomas, Jurdzinski, Marcin, Lazić, Ranko, Schmitz, SylvainContributors: “...European Project: 259454,EC:FP7:ERC,ERC-2010-StG_20091028,GALE(2011)...”
Published in 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (2017)
Get access
Get access
Conference Object