If you are experiencing problems downloading PDF or HTML fulltext, our helpdesk recommend clearing your browser cache and trying again. If you need help in clearing your cache, please click here . Still need help? Email help@ingentaconnect.com

Publisher: Elsevier

Related content
Volume 11, Number 1, January 2004

< previous issue | all issues | next issue >

Favourites:Add to Favourites

Toposes of Coalgebras and Hidden Algebras
pp. 1-19(19)
Author: Worrell, J.

Favourites:Add to Favourites

Dialgebraic Logics - Extended Abstract
pp. 1-9(9)
Author: Reichel, H.

Favourites:Add to Favourites
Favourites:Add to Favourites

Guarded induction on final coalgebras
pp. 1-18(18)
Author: Pavlovic, D.

Favourites:Add to Favourites

Modeling Process Calculi with PVS
pp. 1-18(18)
Author: Schamschurko, D.

Favourites:Add to Favourites

Relators and Metric Bisimulations - (Extended Abstract)
pp. 1-7(7)
Author: Rutten, J.J.M.M.

Favourites:Add to Favourites

Covarieties and Complete Covarieties
pp. 1-14(14)
Authors: Gumm, H.P.; Schroder, T.

Favourites:Add to Favourites

A Co-iterative Characterization of Synchronous Stream Functions
pp. 1-21(21)
Authors: Caspi, P.; Pouzet, M.

Favourites:Add to Favourites

Specifying Coalgebras with Modal Logic
pp. 1-15(15)
Author: Kurz, A.

Favourites:Add to Favourites
Favourites:Add to Favourites

An axiomatics for categories of coalgebras
pp. 1-18(18)
Authors: Power, J.; Watanabe, H.

Favourites:Add to Favourites
Favourites:Add to Favourites

Structured Transition Systems as Lax Coalgebras
pp. 1-20(20)
Authors: Corradini, A.; Grosze-Rhode, M.; Heckel, R.

Share Content

Access Key

Free Content
Free content
New Content
New content
Open Access Content
Open access content
Subscribed Content
Subscribed content
Free Trial Content
Free trial content
Cookie Policy
X
Cookie Policy
ingentaconnect website makes use of cookies so as to keep track of data that you have filled in. I am Happy with this Find out more