×

zbMATH — the first resource for mathematics

Nishida, Naoki

Compute Distance To:
Author ID: nishida.naoki Recent zbMATH articles by "Nishida, Naoki"
Published as: Nishida, Naoki
Documents Indexed: 38 Publications since 2003, including 1 Book

Publications by Year

Citations contained in zbMATH Open

17 Publications have been cited 61 times in 45 Documents Cited by Year
Partial inversion of constructor term rewriting systems. Zbl 1078.68662
Nishida, Naoki; Sakai, Masahiko; Sakabe, Toshiki
9
2005
Termination of narrowing via termination of rewriting. Zbl 1197.68049
Nishida, Naoki; Vidal, Germán
8
2010
Soundness of unravelings for conditional term rewriting systems via ultra-properties related to linearity. Zbl 1252.68161
Nishida, Naoki; Sakai, Masahiko; Sakabe, Toshiki
6
2012
Program inversion for tail recursive functions. Zbl 1236.68144
Nishida, Naoki; Vidal, German
5
2011
Term rewriting with logical constraints. Zbl 1398.68276
Kop, Cynthia; Nishida, Naoki
5
2013
Automatic constrained rewriting induction towards verifying procedural programs. Zbl 1453.68050
Kop, Cynthia; Nishida, Naoki
4
2014
Narrowing-based simulation of term rewriting systems with extra variables and its termination proof. Zbl 1270.68135
Nishida, Naoki; Sakai, Masahiko; Sakabe, Toshiki
4
2003
On proving termination of constrained term rewrite systems by eliminating edges from dependency graphs. Zbl 1339.68141
Sakata, Tsubasa; Nishida, Naoki; Sakabe, Toshiki
4
2011
Goal-directed and relative dependency pairs for proving the termination of narrowing. Zbl 1284.68186
Iborra, José; Nishida, Naoki; Vidal, Germán
3
2010
A theory of reversibility for Erlang. Zbl 1400.68046
Lanese, Ivan; Nishida, Naoki; Palacios, Adrián; Vidal, Germán
3
2018
Reversible term rewriting. Zbl 1387.68147
Nishida, Naoki; Palacios, Adrián; Vidal, Germán
2
2016
Computing more specific versions of conditional rewriting systems. Zbl 1394.68203
Nishida, Naoki; Vidal, Germán
2
2013
Transformation for refining unraveled conditional term rewriting systems. Zbl 1277.68107
Nishida, Naoki; Mizutani, Tomohiro; Sakai, Masahiko
2
2007
Reversible computation in term rewriting. Zbl 1381.68107
Nishida, Naoki; Palacios, Adrián; Vidal, Germán
1
2018
A finite representation of the narrowing space. Zbl 1453.68054
Nishida, Naoki; Vidal, Germán
1
2014
Soundness of unravelings for deterministic conditional term rewriting systems via ultra-properties related to linearity. Zbl 1236.68143
Nishida, Naoki; Sakai, Masahiko; Sakabe, Toshiki
1
2011
Improving determinization of grammar programs for program inversion. Zbl 1394.68082
Niwa, Minami; Nishida, Naoki; Sakai, Masahiko
1
2013
A theory of reversibility for Erlang. Zbl 1400.68046
Lanese, Ivan; Nishida, Naoki; Palacios, Adrián; Vidal, Germán
3
2018
Reversible computation in term rewriting. Zbl 1381.68107
Nishida, Naoki; Palacios, Adrián; Vidal, Germán
1
2018
Reversible term rewriting. Zbl 1387.68147
Nishida, Naoki; Palacios, Adrián; Vidal, Germán
2
2016
Automatic constrained rewriting induction towards verifying procedural programs. Zbl 1453.68050
Kop, Cynthia; Nishida, Naoki
4
2014
A finite representation of the narrowing space. Zbl 1453.68054
Nishida, Naoki; Vidal, Germán
1
2014
Term rewriting with logical constraints. Zbl 1398.68276
Kop, Cynthia; Nishida, Naoki
5
2013
Computing more specific versions of conditional rewriting systems. Zbl 1394.68203
Nishida, Naoki; Vidal, Germán
2
2013
Improving determinization of grammar programs for program inversion. Zbl 1394.68082
Niwa, Minami; Nishida, Naoki; Sakai, Masahiko
1
2013
Soundness of unravelings for conditional term rewriting systems via ultra-properties related to linearity. Zbl 1252.68161
Nishida, Naoki; Sakai, Masahiko; Sakabe, Toshiki
6
2012
Program inversion for tail recursive functions. Zbl 1236.68144
Nishida, Naoki; Vidal, German
5
2011
On proving termination of constrained term rewrite systems by eliminating edges from dependency graphs. Zbl 1339.68141
Sakata, Tsubasa; Nishida, Naoki; Sakabe, Toshiki
4
2011
Soundness of unravelings for deterministic conditional term rewriting systems via ultra-properties related to linearity. Zbl 1236.68143
Nishida, Naoki; Sakai, Masahiko; Sakabe, Toshiki
1
2011
Termination of narrowing via termination of rewriting. Zbl 1197.68049
Nishida, Naoki; Vidal, Germán
8
2010
Goal-directed and relative dependency pairs for proving the termination of narrowing. Zbl 1284.68186
Iborra, José; Nishida, Naoki; Vidal, Germán
3
2010
Transformation for refining unraveled conditional term rewriting systems. Zbl 1277.68107
Nishida, Naoki; Mizutani, Tomohiro; Sakai, Masahiko
2
2007
Partial inversion of constructor term rewriting systems. Zbl 1078.68662
Nishida, Naoki; Sakai, Masahiko; Sakabe, Toshiki
9
2005
Narrowing-based simulation of term rewriting systems with extra variables and its termination proof. Zbl 1270.68135
Nishida, Naoki; Sakai, Masahiko; Sakabe, Toshiki
4
2003

Citations by Year