1 citations · 1 across the 2 of their papers we have counts for
Showing 2016Show all
2 papers · 1 filter
cs.SC2016★ 1 cited
Munchausen Iteration
Roland Meyer, Sebastian Muskalla
We present a method for solving polynomial equations over idempotent omega-continuous semirings. The idea is to iterate over the semiring of functions rather than the semiring of i…
cs.LO2016
Summaries for Context-Free Games
Lukáš Holík, Roland Meyer, Sebastian Muskalla
We study two-player games played on the infinite graph of sentential forms induced by a context-free grammar (that comes with an ownership partitioning of the non-terminals). The w…