論文

査読有り 最終著者 国際誌
2021年

Commutative Rational Term Rewriting

Proc. of the 15th International Conference on Language and Automata Theory and Applications, LATA 2021, LNCS 12638, Milan, Italy
  • M. Ishizuka
  • ,
  • T. Aoto
  • ,
  • M. Iwami

開始ページ
200
終了ページ
212
記述言語
掲載種別
研究論文(国際会議プロシーディングス)
DOI
10.1007/978-3-030-68195-1_15
出版者・発行元
Springer

リンク情報
DOI
https://doi.org/10.1007/978-3-030-68195-1_15
DBLP
https://dblp.uni-trier.de/rec/conf/lata/Ishizuka0I21
URL
https://dblp.uni-trier.de/rec/conf/lata/2021
URL
https://dblp.uni-trier.de/db/conf/lata/lata2021.html#Ishizuka0I21
ID情報
  • DOI : 10.1007/978-3-030-68195-1_15
  • ISBN : 9783030681944
  • ISBN : 9783030681951
  • DBLP ID : conf/lata/Ishizuka0I21

エクスポート
BibTeX RIS