BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Belgium
1 × Germany
1 × Portugal
1 × Serbia
1 × Spain
2 × Japan
Collaborated with:
G.Vidal M.Sakai T.Sakabe J.Iborra M.Niwa A.Yamada T.Aoto N.Hirokawa J.Nagele H.Zankl
Talks about:
program (4) rewrit (4) invers (4) system (3) relat (3) term (3) function (2) termin (2) narrow (2) depend (2)

Person: Naoki Nishida

DBLP DBLP: Nishida:Naoki

Contributed to:

CADE 20152015
LOPSTR 20132013
LOPSTR 20122012
RTA 20112011
FLOPS 20102010
LOPSTR 20092009
RTA 20052005

Wrote 10 papers:

CADE-2015-AotoHN0Z #confluence #contest
Confluence Competition 2015 (TA, NH, JN, NN, HZ), pp. 101–104.
CADE-2015-IborraNVY #dependence #problem #termination
Reducing Relative Termination to Dependency Pair Problems (JI, NN, GV, AY), pp. 163–178.
LOPSTR-2013-NishidaV #finite #representation
A Finite Representation of the Narrowing Space (NN, GV), pp. 54–71.
LOPSTR-2012-NishidaV #term rewriting
Computing More Specific Versions of Conditional Rewriting Systems (NN, GV), pp. 137–154.
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.
RTA-2011-NishidaV #recursion
Program Inversion for Tail Recursive Functions (NN, GV), pp. 283–298.
FLOPS-2010-NishidaS #injection #proving #term rewriting
Proving Injectivity of Functions via Program Inversion in Term Rewriting (NN, MS), pp. 288–303.
LOPSTR-2009-IborraNV #dependence #proving #termination
Goal-Directed and Relative Dependency Pairs for Proving the Termination of Narrowing (JI, NN, GV), pp. 52–66.
RTA-2005-NishidaSS #term rewriting
Partial Inversion of Constructor Term Rewriting Systems (NN, MS, TS), pp. 264–278.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.