( en | de | ru )

 

Disambiguierung von "Mio, Matteo"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Monadic Second Order Logic with Measure and Category Quantifiers.

, , und . CoRR, (2017)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Petra Mio

Mio Wakita

Matteo Garavoglia

Matteo Rini

Matteo Gabba

 

Weitere Publikationen von Autoren mit dem selben Namen

A Proof System for Compositional Verification of Probabilistic Concurrent Processes., und . FoSSaCS, Volume 7794 von Lecture Notes in Computer Science, Seite 161-176. Springer, (2013)Measure Properties of Game Tree Languages., , , und . MFCS (1), Volume 8634 von Lecture Notes in Computer Science, Seite 303-314. Springer, (2014)Towards a Structural Proof Theory of Probabilistic -Calculi., und . FoSSaCS, Volume 11425 von Lecture Notes in Computer Science, Seite 418-435. Springer, (2019)Combining nondeterminism, probability, and termination: equational and metric reasoning., , und . CoRR, (2020)Measure Quantifier in Monadic Second Order Logic., und . LFCS, Volume 9537 von Lecture Notes in Computer Science, Seite 267-282. Springer, (2016)A Proof System for Reasoning about Probabilistic Concurrent Processes.. PSPL@LICS, Volume 12 von EPiC Series in Computing, Seite 8-11. EasyChair, (2010)Proof Theory of Riesz Spaces and Modal Riesz Spaces., und . Log. Methods Comput. Sci., (2022)The Equivalence of Game and Denotational Semantics for the Probabilistic mu-Calculus.. FICS, Seite 53-59. Laboratoire d'Informatique Fondamentale de Marseille, (2010)On the Problem of Computing the Probability of Regular Sets of Trees., und . FSTTCS, Volume 45 von LIPIcs, Seite 489-502. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2015)Łukasiewicz mu-Calculus., und . FICS, Volume 126 von EPTCS, Seite 87-104. (2013)