Titlebook: Relational and Algebraic Methods in Computer Science; 20th International C Roland Glück,Luigi Santocanale,Michael Winter Conference proceed

burnish

Relational and Algebraic Methods in Computer Science20th International C

languor

0302-9743 2023, which took place in Augsburg, Germany, during April 3–6, 2023...The 17 papers presented in this book were carefully reviewed and selected from 26 submissions...They deal with the development and dissemination of relation algebras, Kleene algebras, and similar algebraic formalisms. Topics cover

Disk199

Conference proceedings 2023h took place in Augsburg, Germany, during April 3–6, 2023...The 17 papers presented in this book were carefully reviewed and selected from 26 submissions...They deal with the development and dissemination of relation algebras, Kleene algebras, and similar algebraic formalisms. Topics covered range f

landfill

,Representable and?Diagonally Representable Weakening Relation Algebras,ine the class of diagonally representable weakening relation algebras and prove that it is a discriminator variety. We also provide explicit representations for several small weakening relation algebras.

yohimbine

,Amalgamation Property for?Some Varieties of?BL-Algebras Generated by?One Finite Set of?BL-Chains wiaper we provide a partial solution to this problem. We provide a classification of the AP for the varieties of BL-algebras generated by one finite set of BL-chains with finitely many components, which are either cancellative hoops or finite Wajsberg hoops. We also discuss the difficulties to generalize this approach to the more general case.

親愛

obtuse

,Completeness and?the?Finite Model Property for?Kleene Algebra, Reconsidered, In contrast with earlier completeness proofs, this proof does not rely on minimality or bisimilarity techniques for deterministic automata. Instead, our approach avoids deterministic automata altogether, and uses Antimirov’s derivatives and the well-known transition monoid construction..Our results are fully verified in the Coq proof assistant.

ALERT

Duoidally Enriched Freyd Categories,icious choice of duoidal category. We give several worked examples of this uniform framework, including the parameterised state monad, basic separation semantics for resources, and interesting cases of change of enrichment.

Trigger-Point

legislate