Volume 412; Issue 38

Theoretical Computer Science

Volume 412; Issue 38
1

Bialgebras for structural operational semantics: An introduction

Bartek Klin
Journal:
Theoretical Computer Science
Year:
2011
Language:
english
File:
PDF, 435 KB
english, 2011
2

Coalgebraic semantics of modal logics: An overview

Clemens Kupke, Dirk Pattinson
Journal:
Theoretical Computer Science
Year:
2011
Language:
english
File:
PDF, 423 KB
english, 2011
3

Coalgebras in functional programming and type theory

Venanzio Capretta
Journal:
Theoretical Computer Science
Year:
2011
Language:
english
File:
PDF, 374 KB
english, 2011
4

Maximal traces and path-based coalgebraic temporal logics

Corina Cîrstea
Journal:
Theoretical Computer Science
Year:
2011
Language:
english
File:
PDF, 350 KB
english, 2011
5

On second-order iterative monads

Jiří Adámek, Stefan Milius, Jiří Velebil
Journal:
Theoretical Computer Science
Year:
2011
Language:
english
File:
PDF, 374 KB
english, 2011
6

Probabilistic systems coalgebraically: A survey

Ana Sokolova
Journal:
Theoretical Computer Science
Year:
2011
Language:
english
File:
PDF, 331 KB
english, 2011
7

Preface

Bart Jacobs, Milad Niqui, Jan Rutten, Alexandra Silva
Journal:
Theoretical Computer Science
Year:
2011
Language:
english
File:
PDF, 131 KB
english, 2011
8

Editorial Board

Journal:
Theoretical Computer Science
Year:
2011
File:
PDF, 58 KB
2011
9

On coalgebras over algebras

A. Balan, A. Kurz
Journal:
Theoretical Computer Science
Year:
2011
Language:
english
File:
PDF, 409 KB
english, 2011