Coalgebraic Methods in Computer Science : 14th IFIP WG 1.3 International Workshop, CMCS 2018, Colocated with ETAPS 2018, Thessaloniki, Greece, April 14-15, 2018, Revised Selected Papers /

Coalgebraic Methods in Computer Science : 14th IFIP WG 1.3 International Workshop, CMCS 2018, Colocated with ETAPS 2018, Thessaloniki, Greece, April 14-15, 2018, Revised Selected Papers /

Show other versions (2)

This book constitutes the thoroughly refereed post-conference proceedings of the 14th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2018, colocated with ETAPS 2018, held in Thessaloniki, Greece, in April 2018. The 10 revised full papers were carefully reviewed and selected...

Full description

Saved in:
Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Cîrstea, Corina (Editor, http://id.loc.gov/vocabulary/relators/edt)
Format: Book
Language:English
Published: Cham : Springer International Publishing : Imprint: Springer, 2018
Edition:1st ed. 2018
Series:Computer Science (Springer-11645)
Computer Science (SpringerNature-11645)
LNCS sublibrary Theoretical computer science and general issues ; 11202.
LNCS sublibrary Theoretical computer science and general issues 11202
Subjects:
Artificial intelligence
Computer logic
Computer science
Logic, Symbolic and mathematical
Machine theory
Formal Languages and Automata Theory
Mathematical Logic and Formal Languages
Artificial Intelligence
Computer Science Logic and Foundations of Programming
Logics and Meanings of Programs
Tags: Add Tag
No Tags, Be the first to tag this record!

Internet

This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.

Similar Items