×

zbMATH — the first resource for mathematics

Sakai, Masahiko

Compute Distance To:
Author ID: sakai.masahiko Recent zbMATH articles by "Sakai, Masahiko"
Published as: Sakai, Masahiko; Sakai, M.
Documents Indexed: 36 Publications since 1988, including 1 Book

Publications by Year

Citations contained in zbMATH Open

18 Publications have been cited 75 times in 46 Documents Cited by Year
Positive interpolation with rational splines. Zbl 0676.65009
Sakai, M.; Schmidt, Jochen W.
12
1989
Partial inversion of constructor term rewriting systems. Zbl 1078.68662
Nishida, Naoki; Sakai, Masahiko; Sakabe, Toshiki
9
2005
The Ramsey property for \(C_p(X)\). Zbl 1224.54012
Sakai, M.
7
2010
NVNF-sequentiality of left-linear term rewriting systems. Zbl 0939.68680
Nagaya, Takashi; Sakai, Masahiko; Toyama, Yoshihito
7
1995
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
Decidability of termination for semi-constructor TRSs, left-linear shallow TRSs and related systems. Zbl 1151.68455
Wang, Yi; Sakai, Masahiko
5
2006
Enhancing dependency pair method using strong computability in simply-typed term rewriting. Zbl 1125.68064
Kusakari, Keiichirou; Sakai, Masahiko
5
2007
Osculatory interpolation. Zbl 0983.68222
Sakai, M.
4
2001
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
Innermost reachability and context sensitive reachability properties are decidable for linear right-shallow term rewriting systems. Zbl 1145.68449
Kojima, Yoshiharu; Sakai, Masahiko
3
2008
Determinization of conditional term rewriting systems. Zbl 1253.68199
Nagashima, Masanori; Sakai, Masahiko; Sakabe, Toshiki
3
2012
Controlled term rewriting. Zbl 1348.68083
Jacquemard, Florent; Kojima, Yoshiharu; Sakai, Masahiko
2
2011
Semantics and strong sequentiality of priority term rewriting systems. Zbl 0912.68101
Sakai, Masahiko; Toyama, Yoshihito
2
1998
Transformation for refining unraveled conditional term rewriting systems. Zbl 1277.68107
Nishida, Naoki; Mizutani, Tomohiro; Sakai, Masahiko
2
2007
Weakly-non-overlapping non-collapsing shallow term rewriting systems are confluent. Zbl 1234.68185
Sakai, Masahiko; Ogawa, Mizuhito
1
2010
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
Undecidable properties on length-two string rewriting systems. Zbl 1279.68118
Sakai, Masahiko; Wang, Yi
1
2008
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
Determinization of conditional term rewriting systems. Zbl 1253.68199
Nagashima, Masanori; Sakai, Masahiko; Sakabe, Toshiki
3
2012
Controlled term rewriting. Zbl 1348.68083
Jacquemard, Florent; Kojima, Yoshiharu; Sakai, Masahiko
2
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
The Ramsey property for \(C_p(X)\). Zbl 1224.54012
Sakai, M.
7
2010
Weakly-non-overlapping non-collapsing shallow term rewriting systems are confluent. Zbl 1234.68185
Sakai, Masahiko; Ogawa, Mizuhito
1
2010
Innermost reachability and context sensitive reachability properties are decidable for linear right-shallow term rewriting systems. Zbl 1145.68449
Kojima, Yoshiharu; Sakai, Masahiko
3
2008
Undecidable properties on length-two string rewriting systems. Zbl 1279.68118
Sakai, Masahiko; Wang, Yi
1
2008
Enhancing dependency pair method using strong computability in simply-typed term rewriting. Zbl 1125.68064
Kusakari, Keiichirou; Sakai, Masahiko
5
2007
Transformation for refining unraveled conditional term rewriting systems. Zbl 1277.68107
Nishida, Naoki; Mizutani, Tomohiro; Sakai, Masahiko
2
2007
Decidability of termination for semi-constructor TRSs, left-linear shallow TRSs and related systems. Zbl 1151.68455
Wang, Yi; Sakai, Masahiko
5
2006
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
Osculatory interpolation. Zbl 0983.68222
Sakai, M.
4
2001
Semantics and strong sequentiality of priority term rewriting systems. Zbl 0912.68101
Sakai, Masahiko; Toyama, Yoshihito
2
1998
NVNF-sequentiality of left-linear term rewriting systems. Zbl 0939.68680
Nagaya, Takashi; Sakai, Masahiko; Toyama, Yoshihito
7
1995
Positive interpolation with rational splines. Zbl 0676.65009
Sakai, M.; Schmidt, Jochen W.
12
1989

Citations by Year