Commutative Rational Term Rewriting

von Ishizuka, Mamoru
Veröffentlicht in LATA (15. : 2021 : Mailand) Language and automata theory and applications (2021)

Logic, language, algebraic system and related areas in computer science : February 17-19, 2021 = Riniri, gengo, daisūkei to keisanki kagaku no shūhen ryōiki

Veröffentlicht 2021