Period of time: 2004年1期
Publisher: Elsevier
Founded in: 1995
Total resources: 23
ISSN: 1571-0661
Subject: TP Automation Technology , Computer Technology
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Electronic Notes in Theoretical Computer Science,volume 11,issue 1
Menu
Covarieties and Complete Covarieties
By Gumm H.P., Schroder T. in (2004)
Electronic Notes in Theoretical Computer Science,volume 11,issue 1 , Vol. 11, Iss. 1, 2004-01 , pp.Toposes of Coalgebras and Hidden Algebras
Electronic Notes in Theoretical Computer Science,volume 11,issue 1 , Vol. 11, Iss. 1, 2004-01 , pp.Dialgebraic Logics - Extended Abstract
Electronic Notes in Theoretical Computer Science,volume 11,issue 1 , Vol. 11, Iss. 1, 2004-01 , pp.Semantic domains based on sets with families of equivalences
Electronic Notes in Theoretical Computer Science,volume 11,issue 1 , Vol. 11, Iss. 1, 2004-01 , pp.Guarded induction on final coalgebras
Electronic Notes in Theoretical Computer Science,volume 11,issue 1 , Vol. 11, Iss. 1, 2004-01 , pp.A Co-iterative Characterization of Synchronous Stream Functions
By Caspi P., Pouzet M. in (2004)
Electronic Notes in Theoretical Computer Science,volume 11,issue 1 , Vol. 11, Iss. 1, 2004-01 , pp.Relators and Metric Bisimulations - (Extended Abstract)
Electronic Notes in Theoretical Computer Science,volume 11,issue 1 , Vol. 11, Iss. 1, 2004-01 , pp.Monadic Corecursion -Definition, Fusion Laws, and Applications-
Electronic Notes in Theoretical Computer Science,volume 11,issue 1 , Vol. 11, Iss. 1, 2004-01 , pp.Coalgebraic Reasoning about Classes in Object-Oriented Languages
Electronic Notes in Theoretical Computer Science,volume 11,issue 1 , Vol. 11, Iss. 1, 2004-01 , pp.Structured Transition Systems as Lax Coalgebras
By Corradini A., Grosze-Rhode M., Heckel R. in (2004)
Electronic Notes in Theoretical Computer Science,volume 11,issue 1 , Vol. 11, Iss. 1, 2004-01 , pp.