Ask
Search
My library

About
Statistics
Contact
Data Protection
Accessibility
Imprint
Changelog
Frontend: v1.31.3
Backend: v1.11.4

We use cookies to provide a better user experience.

Data Protection

Nominal Kleene coalgebra

Kozen, D.C.
Mamouras, K.
Petrisan, D.L.
Martins Da Silva, A.

Publication date

January 2015

Publisher

Cornell : Computing and Information Science

Abstract

Contains fulltext : 141320.pdf (preprint version ) (Open Access)1 p

Extracted data

Related items

A short introduction to the coalgebraic method

Silva, A.

January 2015

Contains fulltext : 147292.pdf (publisher's version ) (Open Access

Natural Grammar

Sarbo, J.J.
Farkas, J.
Breemen, A.J.J. van

January 2005

Contains fulltext : 32767.pdf (preprint version ) (Open Access)25 p

Kosmische symfonieën

Aerts, Conny

January 2005

Contains fulltext : 19618_kosmsy.pdf (publisher's version ) (Open Access)20 p

Nominal Kleene Coalgebra

Kozen, D.
Mamouras, K.
Petrisan, D.L.
Silva, A.

January 2015

Contains fulltext : 143757.pdf (publisher's version ) (Closed access

Quantitative Kleene coalgebras

Silva, A.
Bonchi, F.
Bonsangue, M.
Rutten, J.

January 2011

Contains fulltext : 92243.pdf (publisher's version ) (Closed access

Nominal Kleene Coalgebra

Dexter Kozen
Konstantinos Mamouras
Daniela Petrisan Alex
Ra Silva

January 2015

The following full text is a preprint version which may differ from the publisher's version

Non-Deterministic Kleene Coalgebras

Silva, A.
Bonsangue, M.
Rutten, J.

January 2010

Contains fulltext : 84288.pdf (publisher's version ) (Open Access

Context-free coalgebras

Winter, J.
Bonsangue, M.M.
Rutten, J.J.M.M.

January 2015

Contains fulltext : 141357.pdf (preprint version ) (Open Access

Comprehension for Coalgebras

Jacobs, B.

January 2002

Contains fulltext : 130354.pdf (preprint version ) (Closed access

Completeness and incompleteness in nominal Kleene algebra

Kozen, D.
Mamouras, K.
Silva, A.

January 2015

Contains fulltext : 147308.pdf (publisher's version ) (Closed access

Exercises in Coalgebraic Specification

Jacobs, B.

January 2002

Contains fulltext : 130355.pdf (preprint version ) (Closed access

Traces for coalgebraic components

Hasuo, I.
Jacobs, B.

January 2011

Contains fulltext : 92508.pdf (author's version ) (Open Access) ...

Bakker, F.S.
Samadi, M.

January 2014

Contains fulltext : 132822.pdf (publisher's version ) (Open Access)2 p

From algebras and coalgebras to dialgebras

Poll, Erik
Zwanenburg, Jan

January 2001

Contains fulltext : 19049.pdf ( ) (Open Access)Technical Report CSI-R010121 p

Foolen, A.P.

January 2010

Contains fulltext : 86068.pdf (publisher's version ) (Open Access)6 p

A short introduction to the coalgebraic method

Silva, A.

January 2015

Contains fulltext : 147292.pdf (publisher's version ) (Open Access

Natural Grammar

Sarbo, J.J.
Farkas, J.
Breemen, A.J.J. van

January 2005

Contains fulltext : 32767.pdf (preprint version ) (Open Access)25 p

Kosmische symfonieën

Aerts, Conny

January 2005

Contains fulltext : 19618_kosmsy.pdf (publisher's version ) (Open Access)20 p

Nominal Kleene Coalgebra

Kozen, D.
Mamouras, K.
Petrisan, D.L.
Silva, A.

January 2015

Contains fulltext : 143757.pdf (publisher's version ) (Closed access

Quantitative Kleene coalgebras

Silva, A.
Bonchi, F.
Bonsangue, M.
Rutten, J.

January 2011

Contains fulltext : 92243.pdf (publisher's version ) (Closed access

Nominal Kleene Coalgebra

Dexter Kozen
Konstantinos Mamouras
Daniela Petrisan Alex
Ra Silva

January 2015

The following full text is a preprint version which may differ from the publisher's version

Non-Deterministic Kleene Coalgebras

Silva, A.
Bonsangue, M.
Rutten, J.

January 2010

Contains fulltext : 84288.pdf (publisher's version ) (Open Access

Context-free coalgebras

Winter, J.
Bonsangue, M.M.
Rutten, J.J.M.M.

January 2015

Contains fulltext : 141357.pdf (preprint version ) (Open Access

Comprehension for Coalgebras

Jacobs, B.

January 2002

Contains fulltext : 130354.pdf (preprint version ) (Closed access

Completeness and incompleteness in nominal Kleene algebra

Kozen, D.
Mamouras, K.
Silva, A.

January 2015

Contains fulltext : 147308.pdf (publisher's version ) (Closed access

Exercises in Coalgebraic Specification

Jacobs, B.

January 2002

Contains fulltext : 130355.pdf (preprint version ) (Closed access

Traces for coalgebraic components

Hasuo, I.
Jacobs, B.

January 2011

Contains fulltext : 92508.pdf (author's version ) (Open Access) ...

Bakker, F.S.
Samadi, M.

January 2014

Contains fulltext : 132822.pdf (publisher's version ) (Open Access)2 p

From algebras and coalgebras to dialgebras

Poll, Erik
Zwanenburg, Jan

January 2001

Contains fulltext : 19049.pdf ( ) (Open Access)Technical Report CSI-R010121 p

Foolen, A.P.

January 2010

Contains fulltext : 86068.pdf (publisher's version ) (Open Access)6 p

A short introduction to the coalgebraic method

Silva, A.

January 2015

Contains fulltext : 147292.pdf (publisher's version ) (Open Access

Natural Grammar

Sarbo, J.J.
Farkas, J.
Breemen, A.J.J. van

January 2005

Contains fulltext : 32767.pdf (preprint version ) (Open Access)25 p

Kosmische symfonieën

Aerts, Conny

January 2005

Contains fulltext : 19618_kosmsy.pdf (publisher's version ) (Open Access)20 p