BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Spain
1 × The Netherlands
2 × Germany
Collaborated with:
Y.Ohta M.Sakai M.Ogawa I.Mitsuhashi T.Yamada N.Hirokawa J.Nagele V.v.Oostrom
Talks about:
confluent (3) problem (2) system (2) rewrit (2) unif (2) trss (2) term (2) non (2) constructor (1) confluenc (1)

Person: Michio Oyamaguchi

DBLP DBLP: Oyamaguchi:Michio

Contributed to:

CADE 20152015
RTA 20042004
RTA 20012001
RTA 19971997
CADE 20192019

Wrote 5 papers:

CADE-2015-SakaiOO #confluence
Non-E-Overlapping, Weakly Shallow, and Non-Collapsing TRSs are Confluent (MS, MO, MO), pp. 111–126.
RTA-2004-MitsuhashiOOY #confluence #problem #unification
The Joinability and Unification Problems for Confluent Semi-constructor TRSs (IM, MO, YO, TY), pp. 285–300.
RTA-2001-OyamaguchiO #confluence #problem #term rewriting #unification
The Unification Problem for Confluent Right-Ground Term Rewriting Systems (MO, YO), pp. 246–260.
RTA-1997-OyamaguchiO #linear #parallel #term rewriting
A New Parallel Closed Condition for Church-Rossser of Left-Linear Term Rewriting Systems (MO, YO), pp. 187–201.
CADE-2019-HirokawaNOO #analysis #confluence #revisited
Confluence by Critical Pair Analysis Revisited (NH, JN, VvO, MO), pp. 319–336.
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.