Person: Masahiko Sakai

DBLP: Sakai:Masahiko

Contributed to:

2015

2012

2011

2010

2008

2006

2005

2002

1996

2018

Wrote 11 papers:

CADE-2015-JacquemardKS #bottom-up #constraints #term rewriting

Term Rewriting with Prefix Context Constraints and Bottom-Up Strategies (FJ, YK, MS), pp. 137–151.

CADE-2015-SakaiOO #confluence

Non-E-Overlapping, Weakly Shallow, and Non-Collapsing TRSs are Confluent (MS, MO, MO), pp. 111–126.

LOPSTR-2012-Niwa0S #source code

Improving Determinization of Grammar Programs for Program Inversion (MN, NN, MS), pp. 155–175.

RTA-2011-NishidaSS #term rewriting

Soundness of Unravelings for Deterministic Conditional Term Rewriting Systems via Ultra-Properties Related to Linearity (NN, MS, TS), pp. 267–282.

FLOPS-2010-NishidaS #injection #proving #term rewriting

Proving Injectivity of Functions via Program Inversion in Term Rewriting (NN, MS), pp. 288–303.

RTA-2008-KojimaS #decidability #linear #reachability #term rewriting

Innermost Reachability and Context Sensitive Reachability Properties Are Decidable for Linear Right-Shallow Term Rewriting Systems (YK, MS), pp. 187–201.

RTA-2006-WangS #decidability #linear #termination

Decidability of Termination for Semi-constructor TRSs, Left-Linear Shallow TRSs and Related Systems (YW, MS), pp. 343–356.

RTA-2005-NishidaSS #term rewriting

Partial Inversion of Constructor Term Rewriting Systems (NN, MS, TS), pp. 264–278.

FLOPS-2002-KasuyaSA #higher-order #normalisation #term rewriting

Descendants and Head Normalization of Higher-Order Rewrite Systems (HK, MS, KA), pp. 198–211.

RTA-1996-SakaiT #semantics #term rewriting

Semantics and Strong Sequentiality of Priority Term Rewriting Systems (MS, YT), pp. 377–391.

PPDP-2018-SakanashiS #combinator #constraints #optimisation #problem #sql

Transformation of Combinatorial Optimization Problems Written in Extended SQL into Constraint Problems (GS, MS), p. 13.