17 citations · 25 across the 8 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
cs.FL2017
Sound Structure-Preserving Transformation for Weakly-Left-Linear Deterministic Conditional Term Rewriting Systems
Ryota Nakayama, Naoki Nishida, Masahiko Sakai
In this paper, we show that the SR transformation, a computationally equivalent transformation proposed by Serbanuta and Rosu, is a sound structure-preserving transformation for we…
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…