£129.99

Coalgebraic Methods in Computer Science

Name: Coalgebraic Methods in Computer Science
Price: 129.99 GBP
Availability: InStock
ISBN: 9783031664380

17th IFIP WG 1.3 International Workshop, CMCS 2024, Colocated with ETAPS 2024, Luxembourg City, Luxembourg, April 6–7, 2024, Proceedings

Mathematical foundations Mathematical logic Mathematical theory of computation Maths for computer scientists Artificial intelligence

Collection: Lecture Notes in Computer Science

Language: English

Published by: Springer

Published on: 25th July 2024

Format: LCP-protected ePub

ISBN: 9783031664380

Conference Proceedings

This book constitutes the post-conference proceedings of the 17th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2024, colocated with ETAPS 2024, held in Luxembourg in April 2024.

Contents and Selection

The 10 papers included in these proceedings were carefully reviewed and selected from 15 submissions. The papers cover a wide range of topics on theory, logics, and applications of coalgebras.

Show more Show less