22 citations · 29 across the 7 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2018★ 3 cited
Reduced Dependency Spaces for Existential Parameterised Boolean Equation Systems
Yutaro Nagae, Masahiko Sakai
A parameterised Boolean equation system (PBES) is a set of equations that defines sets satisfying the equations as the least and/or greatest fixed-points. Thus this system is regar…
cs.LO2017★ 1 cited
An Extension of Proof Graphs for Disjunctive Parameterised Boolean Equation Systems
Yutaro Nagae, Masahiko Sakai, Hiroyuki Seki
A parameterised Boolean equation system (PBES) is a set of equations that defines sets as the least and/or greatest fixed-points that satisfy the equations. This system is regarded…