A kleene theorem for polynomial coalgebras

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5504 LNCS, Issue , 2009, Pages 122-136

  Bonsangue, Marcello ^a,b   Rutten, Jan ^b,c   Silva, Alexandra ^b  

^a LEIDEN UNIVERSITY   (Netherlands)

^b CWI   (Netherlands)

^c VU UNIVERSITY AMSTERDAM   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

COALGEBRAS; KLEENE THEOREM; KLEENE'S THEOREM; POLYNOMIAL FUNCTORS; REGULAR EXPRESSIONS;

COMPUTER SOFTWARE;

EID: 70350639748     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-00596-1_10     Document Type: Conference Paper

References (15)

1. Aczel, P., Mendler, N.: A Final Coalgebra Theorem. In: Dybjer, P., Pitts, A.M., Pitt, D.H., Poigné, A., Rydeheard, D.E. (eds.) Category Theory and Computer Science. LNCS, vol. 389, pp. 357-365. Springer, Heidelberg (1989)
2. Bonsangue, M., Rutten, J., Silva, A.: Regular expressions for polynomial coalgebras. CWI Technical report E0703 (2007)
3. Bonsangue, M., Rutten, J., Silva, A.: Coalgebraic logic and synthesis of mealy machines. In: Amadio, R. (ed.) FOSSACS 2008. LNCS, vol. 4962, pp. 231-245. Springer, Heidelberg (2008)
4. Brzozowski, J.A.: Derivatives of regular expressions. Journal of the ACM 11(4), 481-494 (1964)
5. Ésik, Z.: Axiomatizing the equational theory of regular tree languages (extended abstract). In: Meinel, C., Morvan, M. (eds.) STACS 1998. LNCS, vol. 1373, pp. 455-465. Springer, Heidelberg (1998)
6. Hopcroft, J.E., Motwani, R., Ullman, J.D.: Introduction to Automata Theory, Languages, and Computation, 3rd edn. Addison-Wesley Longman Publishing Co., Inc., Boston (2006)
7. Jacobs, B.: Many-sorted coalgebraic modal logic: a model-theoretic study. ITA 35(1), 31-59 (2001)
8. Kleene, S.: Representation of events in nerve nets and finite automata. Automata Studies, 3-42 (1956)
9. Kozen, D.: A completeness theorem for Kleene algebras and the algebra of regular events. In: Logic in Computer Science, pp. 214-225 (1991)
10. Kozen, D.: Automata and Computability. Springer, New York (1997)
11. Kozen, D.: On the coalgebraic theory of Kleene algebra with tests. Technical Report, Computing and Information Science, Cornell University (March 2008), http://hdl.handle.net/1813/10173
12. Kurz, A.: Coalgebras and Their Logics. SIGACT News 37(2), 57-77 (2006)
13. Rößiger, M.: Coalgebras and modal logic. ENTCS, 33 (2000)
14. Rutten, J.: Universal coalgebra: a theory of systems. TCS 249(1), 3-80 (2000)
15. Rutten, J.: Automata and coinduction (an exercise in coalgebra). In: Sangiorgi, D., de Simone, R. (eds.) CONCUR 1998. LNCS, vol. 1466, pp. 194-218. Springer, Heidelberg (1998)