Mathematical Structures in Computer Science Vol. 21 Special Issue 02

Mathematical Structures in Computer Science

New Content Alerts
Journal Widget About Widget
Rss
Atom

Table of Contents - Volume 21 - Special Issue 02 (Coalgebraic Logic) - April 2011

Editors: E.-E. Doberkat and A. Kurz

View Table of Contents as PDF
View Cover
Forward TOC

Previous Issue
Next Issue

Select All
Deselect All

View Selected Abstracts
Save to My Saved Articles
Export Citation (s)
Download PDF (s)

Add to Basket

Foreword

Foreword: special issue on coalgebraic logic Foreword: special issue on coalgebraic logic

false

preview

Abstract
Article Structure
Figures and Tables
References

ERNST-ERICH DOBERKAT and ALEXANDER KURZ

Mathematical Structures in Computer Science / Volume 21 / Special Issue 02 / April 2011, pp 171 - 174

DOI: http://dx.doi.org/10.1017/S0960129510000538 (About DOI), Published online: 25 March 2011

Post a Comment

Name *

Your Position and Institution

Email *

Would you like to receive email updates for comments posted on this article?

Comment * ???en_US.toc.displayArticle.1000 ??? characters remaining

Abstract
Buy This Article $45.00 / £30.00
Rent This Article Now for 24 Hours
$5.99 / £3.99 / €4.49
Request Permissions

Paper

Coalgebraic logic over general measurable spaces – a survey Coalgebraic logic over general measurable spaces – a survey

false

preview

Abstract
Article Structure
Figures and Tables
References

ERNST-ERICH DOBERKAT and CHRISTOPH SCHUBERT

Mathematical Structures in Computer Science / Volume 21 / Special Issue 02 / April 2011, pp 175 - 234

DOI: http://dx.doi.org/10.1017/S0960129510000526 (About DOI), Published online: 25 March 2011

Post a Comment

Name *

Your Position and Institution

Email *

Would you like to receive email updates for comments posted on this article?

Comment * ???en_US.toc.displayArticle.1000 ??? characters remaining

Abstract
Buy This Article $45.00 / £30.00
Rent This Article Now for 24 Hours
$5.99 / £3.99 / €4.49
Request Permissions

Modular algorithms for heterogeneous modal logics via multi-sorted coalgebra Modular algorithms for heterogeneous modal logics via multi-sorted coalgebra

false

preview

Abstract
Article Structure
Figures and Tables
References

LUTZ SCHRÖDER and DIRK PATTINSON

Mathematical Structures in Computer Science / Volume 21 / Special Issue 02 / April 2011, pp 235 - 266

DOI: http://dx.doi.org/10.1017/S0960129510000563 (About DOI), Published online: 25 March 2011

Post a Comment

Name *

Your Position and Institution

Email *

Would you like to receive email updates for comments posted on this article?

Comment * ???en_US.toc.displayArticle.1000 ??? characters remaining

Abstract
Buy This Article $45.00 / £30.00
Rent This Article Now for 24 Hours
$5.99 / £3.99 / €4.49
Request Permissions

Traces for coalgebraic components Traces for coalgebraic components

false

preview

Abstract
Article Structure
Figures and Tables
References

ICHIRO HASUO and BART JACOBS

Mathematical Structures in Computer Science / Volume 21 / Special Issue 02 / April 2011, pp 267 - 320

DOI: http://dx.doi.org/10.1017/S0960129510000551 (About DOI), Published online: 25 March 2011

Post a Comment

Name *

Your Position and Institution

Email *

Would you like to receive email updates for comments posted on this article?

Comment * ???en_US.toc.displayArticle.1000 ??? characters remaining

Abstract
Buy This Article $45.00 / £30.00
Rent This Article Now for 24 Hours
$5.99 / £3.99 / €4.49
Request Permissions

Pointwise extensions of GSOS-defined operations Pointwise extensions of GSOS-defined operations

false

preview

Abstract
Article Structure
Figures and Tables
References

HELLE HVID HANSEN and BARTEK KLIN

Mathematical Structures in Computer Science / Volume 21 / Special Issue 02 / April 2011, pp 321 - 361

DOI: http://dx.doi.org/10.1017/S096012951000054X (About DOI), Published online: 25 March 2011

Post a Comment

Name *

Your Position and Institution

Email *

Would you like to receive email updates for comments posted on this article?

Comment * ???en_US.toc.displayArticle.1000 ??? characters remaining

Abstract
Buy This Article $45.00 / £30.00
Rent This Article Now for 24 Hours
$5.99 / £3.99 / €4.49
Request Permissions

Equational presentations of functors and monads Equational presentations of functors and monads

false

preview

Abstract
Article Structure
Figures and Tables
References

JIŘÍ VELEBIL and ALEXANDER KURZ

Mathematical Structures in Computer Science / Volume 21 / Special Issue 02 / April 2011, pp 363 - 381

DOI: http://dx.doi.org/10.1017/S0960129510000575 (About DOI), Published online: 25 March 2011

Post a Comment

Name *

Your Position and Institution

Email *

Would you like to receive email updates for comments posted on this article?

Comment * ???en_US.toc.displayArticle.1000 ??? characters remaining

Abstract
Buy This Article $45.00 / £30.00
Rent This Article Now for 24 Hours
$5.99 / £3.99 / €4.49
Request Permissions

On monotone modalities and adjointness On monotone modalities and adjointness

false

preview

Abstract
Article Structure
Figures and Tables
References

MARTA BÍLKOVÁ, JIŘÍ VELEBIL and YDE VENEMA

Mathematical Structures in Computer Science / Volume 21 / Special Issue 02 / April 2011, pp 383 - 416

DOI: http://dx.doi.org/10.1017/S0960129510000514 (About DOI), Published online: 25 March 2011

Post a Comment

Name *

Your Position and Institution

Email *

Would you like to receive email updates for comments posted on this article?

Comment * ???en_US.toc.displayArticle.1000 ??? characters remaining

Abstract
Buy This Article $45.00 / £30.00
Rent This Article Now for 24 Hours
$5.99 / £3.99 / €4.49
Request Permissions

Elgot theories: a new perspective on the equational properties of iteration Elgot theories: a new perspective on the equational properties of iteration

false

preview

Abstract
Article Structure
Figures and Tables
References

JIŘÍ ADÁMEK, STEFAN MILIUS and JIŘÍ VELEBIL

Mathematical Structures in Computer Science / Volume 21 / Special Issue 02 / April 2011, pp 417 - 480

DOI: http://dx.doi.org/10.1017/S0960129510000496 (About DOI), Published online: 25 March 2011

Post a Comment

Name *

Your Position and Institution

Email *

Would you like to receive email updates for comments posted on this article?

Comment * ???en_US.toc.displayArticle.1000 ??? characters remaining

Abstract
Buy This Article $45.00 / £30.00
Rent This Article Now for 24 Hours
$5.99 / £3.99 / €4.49
Request Permissions

Initial algebras and terminal coalgebras in many-sorted sets Initial algebras and terminal coalgebras in many-sorted sets

false

preview

Abstract
Article Structure
Figures and Tables
References

JIŘÍ ADÁMEK and VĚRA TRNKOVÁ

Mathematical Structures in Computer Science / Volume 21 / Special Issue 02 / April 2011, pp 481 - 509

DOI: http://dx.doi.org/10.1017/S0960129510000502 (About DOI), Published online: 25 March 2011

Post a Comment

Name *

Your Position and Institution

Email *

Would you like to receive email updates for comments posted on this article?

Comment * ???en_US.toc.displayArticle.1000 ??? characters remaining

Abstract
Buy This Article $45.00 / £30.00
Rent This Article Now for 24 Hours
$5.99 / £3.99 / €4.49
Request Permissions

Front Cover (OFC, IFC) and matter

MSC volume 21 issue 2 Cover and Front matter MSC volume 21 issue 2 Cover and Front matter

false

preview

Abstract
Article Structure
Figures and Tables
References

Mathematical Structures in Computer Science / Volume 21 / Special Issue 02 / April 2011, pp f1 - f2

DOI: http://dx.doi.org/10.1017/S0960129511000247 (About DOI), Published online: 25 March 2011

Post a Comment

Name *

Your Position and Institution

Email *

Would you like to receive email updates for comments posted on this article?

Comment * ???en_US.toc.displayArticle.1000 ??? characters remaining

Rent This Article Now for 24 Hours
$5.99 / £3.99 / €4.49
Request Permissions

Back Cover (IBC, OBC) and matter

MSC volume 21 issue 2 Cover and Back matter MSC volume 21 issue 2 Cover and Back matter

false

preview

Abstract
Article Structure
Figures and Tables
References

Mathematical Structures in Computer Science / Volume 21 / Special Issue 02 / April 2011, pp b1 - b7

DOI: http://dx.doi.org/10.1017/S0960129511000259 (About DOI), Published online: 25 March 2011

Post a Comment

Name *

Your Position and Institution

Email *

Would you like to receive email updates for comments posted on this article?

Comment * ???en_US.toc.displayArticle.1000 ??? characters remaining

Rent This Article Now for 24 Hours
$5.99 / £3.99 / €4.49
Request Permissions

View Selected Abstracts
Save to My Saved Articles
Export Citation (s)
Download PDF (s)

Add to Basket

View Table of Contents as PDF
View Cover
Forward TOC

Previous Issue
Next Issue

Welcome to Cambridge Journals Online