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
Collaborated with:
T.Aoto
Talks about:
uniform (1) calculi (1) termin (1) unif (1) semi (1) rule (1) base (1)

Person: Munehiro Iwami

DBLP DBLP: Iwami:Munehiro

Contributed to:

LATA 20132013

Wrote 1 papers:

LATA-2013-AotoI #calculus #rule-based #termination
Termination of Rule-Based Calculi for Uniform Semi-Unification (TA, MI), pp. 56–67.
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.