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 × Austria
1 × Germany
Collaborated with:
M.Sakai F.Jacquemard
Talks about:
reachabl (2) context (2) rewrit (2) term (2) constraint (1) innermost (1) strategi (1) properti (1) shallow (1) system (1)

Person: Yoshiharu Kojima

DBLP DBLP: Kojima:Yoshiharu

Contributed to:

CADE 20152015
RTA 20082008

Wrote 2 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.
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.

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.