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


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