[IEEE 2018 IEEE/ACM Parallel Applications Workshop, Alternatives To MPI (PAW-ATM) - Dallas, TX, USA (2018.11.16-2018.11.16)] 2018 IEEE/ACM Parallel Applications Workshop, Alternatives To MPI (PAW-ATM) - Distributed L-shaped Algorithms in Julia
- 作者Biel, Martin; Johansson, Mikael
- 文件大小335.09KB
- 发表时间2018
- DOI10.1109/paw-atm.2018.00011
- 页码57-69
[IEEE 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - Vancouver, BC, Canada (2019.6.24-2019.6.27)] 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - Matching μ-LogicChen, Xiaohong; Rosu, Grigore · 2019
[IEEE 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - Vancouver, BC, Canada (2019.6.24-2019.6.27)] 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - LICS 2019 Foreword2019
[IEEE 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - Vancouver, BC, Canada (2019.6.24-2019.6.27)] 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - Perspective GamesKupferman, Orna; Vardi, Gal · 2019
[IEEE 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - Vancouver, BC, Canada (2019.6.24-2019.6.27)] 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - Completeness for Game LogicEnqvist, Sebastian; Hansen, Helle Hvid; Kupke, Clemens; Marti, Johannes; Venema, Yde · 2019
[IEEE 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - Vancouver, BC, Canada (2019.6.24-2019.6.27)] 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - Quantum Hoare Logic with Ghost VariablesUnruh, Dominique · 2019
[IEEE 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - Vancouver, BC, Canada (2019.6.24-2019.6.27)] 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - Template games and differential linear logicMellies, Paul-Andre · 2019
[IEEE 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - Vancouver, BC, Canada (2019.6.24-2019.6.27)] 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - MSO+∇ is undecidableBojanczyk, Mikolaj; Kelmendi, Edon; Skrzypczak, Michal · 2019
[IEEE 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - Vancouver, BC, Canada (2019.6.24-2019.6.27)] 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - The Logic of Action Lattices is UndecidableKuznetsov, Stepan · 2019