Coalgebraic methods in computer science : 15th IFIP WG 1.3 International Workshop, CMCS 2020, colocated with ETAPS 2020, Dublin, Ireland, April 25-26, 2020, proceedings / Daniela Petrişan, Jurriaan Rot (eds.).

This book constitutes the thoroughly refereed post-conference proceedings of the 15th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2020, colocated with ETAPS 2020, held in Dublin, Ireland, in April 2020. The conference was held as several online events in September and Oct...

Full description

Saved in:

Bibliographic Details
Corporate Authors:	Workshop on Coalgebraic Methods in Computer Science Online, ETAPS (Conference)
Other Authors:	Petrişan, Daniela, Rot, Jurriaan
Format:	eBook
Language:	English
Published:	Cham, Swizterland : Springer, 2020.
Series:	Lecture notes in computer science ; 12094. LNCS sublibrary. Theoretical computer science and general issues.
Subjects:	Computer science > Mathematics > Congresses. Computer software > Mathematics > Congresses. Mathematical theory of computation. Artificial intelligence. Computers > Programming > Algorithms. Computers > Intelligence (AI) & Semantics. Mathematics > Logic. Matemáticas discretas Matemáticas Computer science > Mathematics proceedings (reports) Conference papers and proceedings Conference papers and proceedings. Actes de congrès.
Online Access:	Click for online access

‌

Click for online access

Online

Holdings details from Online
	Available

Coalgebraic methods in computer science : 15th IFIP WG 1.3 International Workshop, CMCS 2020, colocated with ETAPS 2020, Dublin, Ireland, April 25-26, 2020, proceedings / Daniela Petrişan, Jurriaan Rot (eds.).

‌

Online

Similar Items