|< 5 6 7 8 9 >|
CSV
publication icon
Gheorghiu A (2021) Focused Proof-search in the Logic of Bunched Implications in Foundations of Software Science and Computation Structures - 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings
publication icon
Mayr R (2021) Simple Stochastic Games with Almost-Sure Energy-Parity Objectives are in NP and coNP in Foundations of Software Science and Computation Structures - 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings
publication icon
Mayr R (2021) Simple Stochastic Games with Almost-Sure Energy-Parity Objectives are in NP and coNP in Foundations of Software Science and Computation Structures - 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings
publication icon
Altenkirch T (2021) Constructing a universe for the setoid model in Foundations of Software Science and Computation Structures - 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings
publication icon
Mayr R (2021) Simple Stochastic Games with Almost-Sure Energy-Parity Objectives are in NP and coNP in Foundations of Software Science and Computation Structures - 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings
publication icon
Van Heerdt G (2021) Learning Pomset Automata in Foundations of Software Science and Computation Structures - 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings