Show indexed articles as search result.

The articles of this volume will be reviewed individually. For the preceding conference see [Zbl 1361.68009].
Indexed articles:
Bodirsky, Manuel, Finite relation algebras with normal representations, 3-17 [Zbl 1518.68142]
Leiß, Hans; Hopkins, Mark, C-dioids and \(\mu\)-continuous Chomsky-algebras, 21-36 [Zbl 1518.68219]
Hopkins, Mark; Leiß, Hans, Coequalizers and tensor products for continuous idempotent semirings, 37-52 [Zbl 1518.68217]
Glück, Roland, Distances, norms and error propagation in idempotent semirings, 53-69 [Zbl 1522.16039]
Winter, Michael, T-norm based operations in arrow categories, 70-86 [Zbl 1486.18007]
Hirsch, Robin, Decidability of equational theories for subsignatures of relation algebra, 87-96 [Zbl 1522.03341]
Nishizawa, Koki; Tsumagari, Norihiro, Composition of different-type relations via the Kleisli category for the continuation monad, 97-112 [Zbl 1522.03351]
Sindoni, Giulia; Sano, Katsuhiko; Stell, John G., Axiomatizing discrete spatial relations, 113-130 [Zbl 1518.68367]
Ghosh, Pranab Kumar; Winter, Michael, A modal and relevance logic for qualitative spatial reasoning, 131-147 [Zbl 1518.68360]
Alexander, Sarah; Jipsen, Peter; Upegui, Nadiya, On the structure of generalized effect algebras and separation algebras, 148-165 [Zbl 1522.03332]
Bonzio, Stefano; Pra Baldi, Michele; Valota, Diego, Counting finite linearly ordered involutive bisemilattices, 166-183 [Zbl 1522.06003]
Gouveia, Maria João; Santocanale, Luigi, MIX \(\star\)-autonomous quantales and the continuous weak order, 184-201 [Zbl 1522.06029]
Foster, Simon; Ye, Kangfeng; Cavalcanti, Ana; Woodcock, Jim, Calculational verification of reactive programs with reactive relations and Kleene algebra, 205-224 [Zbl 1518.68049]
Huerta y Munive, Jonathan Julián; Struth, Georg, Verifying hybrid systems with modal Kleene algebra, 225-243 [Zbl 1518.68209]
Ertel, Jessica; Glück, Roland; Möller, Bernhard, Algebraic derivation of until rules and application to timer verification, 244-262 [Zbl 1518.68205]
Bannister, Callum; Höfner, Peter, False failure: creating failure models for separation logic, 263-279 [Zbl 1518.68044]
Gattinger, Malvin; Wagemaker, Jana, Towards an analysis of dynamic gossip in Netkat, 280-297 [Zbl 1518.68034]
Kozen, Dexter; Soloviev, Matvey, Coalgebraic tools for randomness-conserving protocols, 298-313 [Zbl 1518.68240]
Krivulin, Nikolai, Algebraic solution of weighted minimax single-facility constrained location problems, 317-332 [Zbl 1518.90045]
Cristiá, Maximiliano; Rossi, Gianfranco, A set solver for finite set relation algebra, 333-349 [Zbl 1518.68415]
Kirousis, Lefteris; Kolaitis, Phokion G.; Livieratos, John, On the computational complexity of non-dictatorial aggregation, 350-365 [Zbl 1518.68143]
Kahl, Wolfram, Calculational relation-algebraic proofs in the teaching tool CalcCheck, 366-384 [Zbl 1462.68216]