No. Title Author Year
1 Probabilistic Guarded KAT Modulo Bisimilarity: Completeness and Complexity Różowski, Wojciech et al. 2023
2 Algebraic Complexity and Parallelism (Dagstuhl Seminar 9230) von zur Gathen, Joachim et al. 2021
3 Applications of Kleene Algebra (Dagstuhl Seminar 01081) Backhouse, Roland C. et al. 2021
4 Applications of Tree Automata in Rewriting, Logic and Programming (Dagstuhl Seminar 9743) Comon, Hubert et al. 2021
5 Guarded Kleene Algebra with Tests: Coequations, Coinduction, and Completeness Schmid, Todd et al. 2021
6 The Ackermann Award 2018 Kozen, Dexter et al. 2018
7 The Ackermann Award 2015 Dawar, Anuj et al. 2015
8 Kleene Algebra with Products and Iteration Theories Kozen, Dexter et al. 2013
Current Page :
Number of result pages: 1
Number of documents: 8

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI