search result

Cover von Selected papers in coalgebra, from the fifth international workshop on coalgebraic methods in computer science; 3
special issue : S. 407-614
Search for this author
Year: 2005
Publisher: Cambridge, Cambridge University Press
Count: 3
Media group: SPECIAL ISSUE
Cover von Vicious circles
on the mathematics of non-wellfounded phenomena
Author: Barwise, Jon; Moss, Lawrence S. Search for this author
Year: 1996
Publisher: Stanford, CSLI
Series: CSLI lecture notes series; 60
Media group: MONOGRAPHIE
Cover von Precongruences and Parametrized Coinduction for Logics for Behavioral Equivalence

Precongruences and Parametrized Coinduction for Logics for Behavioral Equivalence

Year: 2017
Media group: LIPIcs
Cover von Rohit Parikh on Logic, Language and Society
Search for this author
Year: 2017
Publisher: Heidelberg, Springer
Series: Outstanding Contributions to Logic; 11
Media group: MONOGRAPHIE
Cover von Fractals from Regular Behaviours

Fractals from Regular Behaviours

Year: 2023
Media group: LIPIcs
Cover von Front Matter, Table of Contents, Preface, List of Authors

Front Matter, Table of Contents, Preface, List of Authors

Year: 2015
Media group: LIPIcs
Cover von 6th Conference on Algebra and Coalgebra in Computer Science
CALCO ’15, June 24 - 26, 2015, Nijmegen, The Netherlands
Search for this author
Year: 2015
Publisher: Wadern, LZI
Series: Leibniz International Proceedings in Informatics; 35
Media group: LIPIcs
Cover von Advances in Modal Logic Vol. 9
Search for this author
Year: 2012
Publisher: London, College Publications
Media group: MONOGRAPHIE
Cover von Terminal Coalgebras for Finitary Functors

Terminal Coalgebras for Finitary Functors

Year: 2025
Media group: LIPIcs
Cover von Initial Algebras and Terminal Coalgebras
The Theory of Fixed Points of Functors
Author: Adámek, Jiří; Milius, Stefan; Moss, Lawrence S. Search for this author
Year: 2025
Publisher: Cambridge, Cambridge University Press
Series: Cambridge tracts in theoretical computer science; 62
Media group: MONOGRAPHIE
OPEN V 11.1.0.0