scientific article; zbMATH DE number 6917183

DOI10.4230/LIPIcs.CALCO.2017.22zbMath1400.68145MaRDI QIDQ4580218

Ana Sokolova, Harald Woracek

Publication date: 13 August 2018

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

one-point extensionsconvex algebraconvex powerset monad

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Categories of machines, automata (18B20) Eilenberg-Moore and Kleisli constructions for monads (18C20) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Related Items (1)

Termination in Convex Sets of Distributions

This page was built for publication: