東華大學圖書館 |

Language: English

Help

回圖書館首頁

手機版館藏查詢

Back

Switch To: Labeled | MARC Mode | ISBD

Coalgebraic methods in computer scie...

Workshop on Coalgebraic Methods in Computer Science (2024 :)

Linked to FindBook

Google Book

Amazon

博客來

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 /

Record Type:	Electronic resources : Monograph/item
Title/Author:	Coalgebraic methods in computer science/ edited by Barbara König, Henning Urbat.
Reminder of title:	17th IFIP WG 1.3 International Workshop, CMCS 2024, Colocated with ETAPS 2024, Luxembourg City, Luxembourg, April 6-7, 2024 : proceedings /
remainder title:	CMCS 2024
other author:	König, Barbara.
corporate name:	Workshop on Coalgebraic Methods in Computer Science
Published:	Cham :Springer Nature Switzerland : : 2024.,
Description:	ix, 217 p. :ill. (some col.), digital ;24 cm.
[NT 15003449]:	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.
Contained By:	Springer Nature eBook
Subject:	Computer science - Mathematics -
Online resource:	https://doi.org/10.1007/978-3-031-66438-0
ISBN:	9783031664380

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 /
Coalgebraic methods in computer science17th IFIP WG 1.3 International Workshop, CMCS 2024, Colocated with ETAPS 2024, Luxembourg City, Luxembourg, April 6-7, 2024 : proceedings /[electronic resource] :CMCS 2024edited by Barbara König, Henning Urbat. - Cham :Springer Nature Switzerland :2024. - ix, 217 p. :ill. (some col.), digital ;24 cm. - Lecture notes in computer science,146171611-3349 ;. - Lecture notes in computer science ;14617..

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.

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.

ISBN: 9783031664380

Standard No.: 10.1007/978-3-031-66438-0doiSubjects--Topical Terms:

678603
Computer science
--Mathematics

LC Class. No.: QA76.9.M35

Dewey Class. No.: 004.0151

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 /
LDR:02302nmm a2200385 a 4500 001 2373942
003 DE-He213
005 20240725130835.0
006 m d
007 cr nn 008maaau
008 241231s2024 sz s 0 eng d
020 $a 9783031664380 $q (electronic bk.)
020 $a 9783031664373 $q (paper)
024 7 $a 10.1007/978-3-031-66438-0 $2 doi
035 $a 978-3-031-66438-0
040 $a GP $c GP
041 0 $a eng
050 4 $a QA76.9.M35
072 7 $a PBCD $2 bicssc
072 7 $a PBC $2 bicssc
072 7 $a MAT018000 $2 bisacsh
072 7 $a PBCD $2 thema
072 7 $a PBC $2 thema
082 0 4 $a 004.0151 $2 23
090 $a QA76.9.M35 $b W926 2024
111 2 $a Workshop on Coalgebraic Methods in Computer Science $n (17th : $d 2024 : $c Luxembourg, Luxembourg) $3 3722427
245 1 0 $a Coalgebraic methods in computer science $h [electronic resource] : $b 17th IFIP WG 1.3 International Workshop, CMCS 2024, Colocated with ETAPS 2024, Luxembourg City, Luxembourg, April 6-7, 2024 : proceedings / $c edited by Barbara König, Henning Urbat.
246 3 $a CMCS 2024
246 3 $a ETAPS 2024
260 $a Cham : $b Springer Nature Switzerland : $b Imprint: Springer, $c 2024.
300 $a ix, 217 p. : $b ill. (some col.), digital ; $c 24 cm.
490 1 $a Lecture notes in computer science, $x 1611-3349 ; $v 14617
505 0 $a 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.
520 $a 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.
650 0 $a Computer science $x Mathematics $x Congresses. $3 678603
650 0 $a Computer software $x Mathematics $v Congresses. $3 3526029
650 1 4 $a Mathematical Logic and Foundations. $3 892656
650 2 4 $a Formal Languages and Automata Theory. $3 3592087
650 2 4 $a Logic in AI. $3 3386372
650 2 4 $a Mathematics of Computing. $3 891213
700 1 $a König, Barbara. $3 3722428
700 1 $a Urbat, Henning. $3 3722429
710 2 $a SpringerLink (Online service) $3 836513
773 0 $t Springer Nature eBook
830 0 $a Lecture notes in computer science ; $v 14617. $3 3722430
856 4 0 $u https://doi.org/10.1007/978-3-031-66438-0
950 $a Computer Science (SpringerNature-11645)