صورة الغلاف

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 /

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

وصف كامل

محفوظ في:
التفاصيل البيبلوغرافية
مؤلف مشترك: SpringerLink (Online service)
مؤلفون آخرون: König, Barbara (المحرر), Urbat, Henning (المحرر)
التنسيق: الكتروني كتاب الكتروني
اللغة:الإنجليزية
منشور في: Cham : Springer Nature Switzerland : Imprint: Springer, 2024.
الطبعة:1st ed. 2024.
سلاسل:Lecture Notes in Computer Science, 14617
الموضوعات:
Mathematical logic.
Machine theory.
Logic programming.
Computer science > Mathematics.
Mathematical Logic and Foundations.
Formal Languages and Automata Theory.
Logic in AI.
Mathematics of Computing.
الوصول للمادة أونلاين:https://doi.org/10.1007/978-3-031-66438-0
الوسوم: إضافة وسم
لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!
جدول المحتويات:
  • Coalgebraic CTL: Fixpoint Characterization and Polynomial-time Model Checking
  • A Categorical Approach to Coalgebraic Fixpoint Logic
  • Preorder-Constrained Simulations for Program Refinement with Effects
  • Automata and Coalgebras in Categories of Species
  • Automata in W-Toposes, and General Myhill-Nerode Theorems
  • Graded Semantics and Graded Logics for Eilenberg-Moore Coalgebras
  • Explicit Hopcroft’s Trick in Categorical Partition Refinement
  • Proving Behavioural Apartness
  • A Compositional Approach to Petri Nets
  • Correspondence between Composite Theories and Distributive Laws.

مواد مشابهة