文献
J-GLOBAL ID：201902200085267009   整理番号：19S1669041

A path order for rewrite systems that compute exponential time functions

  • 出版者サイト 複写サービスで全文入手
  • 高度な検索・分析はJDreamⅢで
著者 (3件)：
Avanzini, Martin

Avanzini, Martin について

(Institute of Computer Science, University of Innsbruck)

Institute of Computer Science, University of Innsbruck について

, 
Moser, Georg

Moser, Georg について

(Institute of Computer Science, University of Innsbruck)

Institute of Computer Science, University of Innsbruck について

, 
Eguchi, Naohi

Eguchi, Naohi について

(School of Information Science, Japan Advanced Institute of Science and Technology)

School of Information Science, Japan Advanced Institute of Science and Technology について


資料名：
Leibniz International Proceedings in Informatics, LIPIcs

Leibniz International Proceedings in Informatics, LIPIcs について


巻： 10  ページ： 123-138  発行年： 2011年 
JST資料番号： SCOPUS  ISSN： 1868-8969  ISBN： 9783939897309 
発行国： ドイツ (DEU)  言語： 英語 (EN)

前のページに戻る

TOP

BOTTOM