Coalgebraic Methods in Computer Science

Beschreibung

This book constitutes the thoroughly refereed post-conference proceedings of the 16th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2022, colocated with ETAPS 2022, held in Munich, Germany, in April 2022.

The 9 revised full papers were carefully reviewed and selected from 12 submissions. The papers cover a wide range of topics in the theory, logics, and applications of coalgebras.

Autor*in

Helle Hvid Hansen

Themen in »Coalgebraic Methods in Computer Science«

artificial intelligence automata theory boolean algebra boolean functions computer programming computer systems engineering formal logic mathematics matrix algebra modal logic programming languages query languages software design software engineering

Stimmen zu »Coalgebraic Methods in Computer Science«

Details

Link teilen