Proof Theory of Riesz Spaces and Modal Riesz Spaces von Lucas, Christophe, Mio, Matteo

Volltext

PROBABILISTIC LOGICS BASED ON RIESZ SPACES von Furber, Robert, Mardare, Radu, Mio, Matte

Volltext

On the equivalence of game and denotational semantics for the probabilistic mu-calculus von Mio, Matteo

Volltext

Monadic Second Order Logic with Measure and Category Quantifiers von Mio, Matteo, Skrzypczak, Micha L, Michalewski, Henryk

Volltext

On the Regular Emptiness Problem of Subzero Automata von Michalewski, Henryk, Mio, Matteo, Bojańczyk, Mikołaj

Volltext

Upper-Expectation Bisimilarity and Łukasiewicz μ-Calculus von Mio, Matteo

Volltext

Free Modal Riesz Spaces are Archimedean: A Syntactic Proof von Lucas, Christophe, Mio, Matteo

Volltext

Reasoning about modular datatypes with Mendler induction von Torrini, Paolo, Schrijvers, Tom

Volltext

A Proof System for Compositional Verification of Probabilistic Concurrent Processes von Mio, Matteo, Simpson, Alex

Volltext

Probabilistic Modal μ-Calculus with Independent Product von Mio, Matteo

Volltext

Monads and Quantitative Equational Theories for Nondeterminism and Probability von Mio, Matteo, Vignudelli, Valeria

Volltext bestellen

Game semantics for probabilistic modal μ-calculi von Mio, Matteo

Volltext bestellen

Universal Quantitative Algebra for Fuzzy Relations and Generalised Metric Spaces von Mio, Matteo, Sarkis, Ralph, Vignudelli, Valeria

Volltext

Measure Properties of Game Tree Languages von Gogacz, Tomasz, Michalewski, Henryk, Mio, Matteo, Skrzypczak, Michał

Volltext

Upper-Expectation Bisimilarity and Real-valued Modal Logics von Mio, Matteo

Volltext bestellen

Monads and Quantitative Equational Theories for Nondeterminism and Probability von Mio, Matteo, Vignudelli, Valeria

Volltext

On the equivalence of game and denotational semantics for the probabilistic mu-calculus von Mio, Matteo

Volltext

On the Problem of Computing the Probability of Regular Sets of Trees von Michalewski, Henryk, Mio, Matteo

Volltext bestellen

Monadic Second Order Logic with Measure and Category Quantifiers von Mio, Matteo, Skrzypczak, Michał, Michalewski, Henryk

Volltext

On the Problem of Computing the Probability of Regular Sets of Trees von Michalewski, Henryk, Mio, Matteo

Volltext