No. Title Author Year
1 Fibrational Initial Algebra-Final Coalgebra Coincidence over Initial Algebras: Turning Verification Witnesses Upside Down Kori, Mayuko et al. 2021
2 Coalgebraic Theory of B├╝chi and Parity Automata: Fixed-Point Specifications, Categorically (Invited Tutorial) Hasuo, Ichiro 2018
3 Parity Automata for Quantitative Linear Time Logics Cirstea, Corina et al. 2017
4 Coalgebraic Trace Semantics for Buechi and Parity Automata Urabe, Natsuki et al. 2016
5 Coalgebras and Higher-Order Computation: a GoI Approach Hasuo, Ichiro 2016
6 Coalgebraic Infinite Traces and Kleisli Simulations Urabe, Natsuki et al. 2015
Current Page :
Number of result pages: 1
Number of documents: 6

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