31 citations · 69 across the 15 of their papers we have counts for
Showing 2015Show all
3 papers · 1 filter
cs.FL2015★ 2 cited
On the Problem of Computing the Probability of Regular Sets of Trees
Henryk Michalewski, Matteo Mio
We consider the problem of computing the probability of regular languages of infinite trees with respect to the natural coin-flipping measure. We propose an algorithm which compute…
cs.LO2015★ 1 cited
Łukasiewicz μ-calculus
Matteo Mio, Alex Simpson
The paper explores properties of the Łukasiewicz μ-calculus, or Łμ for short, an extension of Łukasiewicz logic with scalar multiplication and least and greatest fixed-point operat…
cs.LO2015★ 1 cited
Proceedings Tenth International Workshop on Fixed Points in Computer Science
Ralph Matthes, Matteo Mio
This volume contains the proceedings of the Tenth International Workshop on Fixed Points in Computer Science (FICS 2015) which took place on September 11th and 12th, 2015 in Berlin…