Coalgebraic Methods in Computer Science 17th IFIP WG 1.3 International Workshop, CMCS 2024, Colocated with ETAPS 2024, Luxembourg City, Luxembourg, April 6-7, 2024, Proceedings

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

Cover image for Coalgebraic Methods in Computer Science 17th IFIP WG 1.3 International Workshop, CMCS 2024, Colocated with ETAPS 2024, Luxembourg City, Luxembourg, April 6-7, 2024, Proceedings

Title:

Author:

König, Barbara. editor. (orcid)0000-0002-4193-2889

ISBN:

9783031664380

Edition:

1st ed. 2024.

Physical Description:

IX, 217 p. 38 illus., 13 illus. in color. online resource.

Series:

Lecture Notes in Computer Science, 14617

Abstract:

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. 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.

Subject Term:

Mathematical logic.

Machine theory.

Logic programming.

Computer science -- Mathematics.

Mathematical Logic and Foundations.

Formal Languages and Automata Theory.

Logic in AI.

Mathematics of Computing.

Added Author:

König, Barbara.

Urbat, Henning.