The BC-chain Method for Representing Combinators in Linear Space(Software Science and Engineering)
スポンサーリンク
概要
著者
-
野下 浩平
Department Of Computer Science Denkitusin University
-
疋田 輝雄
Department of Mathematics, Tokyo Metropolitan University
-
疋田 輝雄
Department Of Mathematics Tokyo Metropolitan University
関連論文
- On the Nested Heap Structure in Smoothsort(Mathematical Foundations of Computer Science and Their Applications)
- The BC-chain Method for Representing Combinators in Linear Space(Software Science and Engineering)
- 最短経路アルゴリズムの平均比較回数について (実験整数論および組合せ理論と計算機)
- On Bounds of the Number of Comparisons to Select the t-th Largest of n Elements (計算機によるパズル・ゲームの研究)
- On Data Structures for Manipulating Graphs and a New Efficient Program of the Dijkstra Method for the Shortest Path Problem (アルゴリズムにおける証明論)
- A rewriting system for categorical combinators with multiple arguments