Old Web
English
Sign In
Acemap
>
authorDetail
>
yasuhiko minamide
yasuhiko minamide
Real-time computing
Tail call
Mathematics
Combinatorics
Physics
5
Papers
0
Citations
0
KQI
Citation Trend
Filter By
Interval:
1900~2024
1900
2024
Author
Papers (5)
Sort By
Default
Most Recent
Most Early
Most Citation
No data
Journal
Conference
Others
拡張正規表現マッチングの計算量解析 (特集 プログラミングおよびプログラミング言語)
2021
kazuya takahasi
yasuhiko minamide
Show All
Source
Cite
Save
Citations (0)
コンピュータ・システム : プログラマの視点から
2019
Randal E. Bryant
David R. O’Hallaron
masahiro gotou
kenzi kouno
yasuhiko minamide
jouhousyorigakkai
jouhousyorigakkai sisutemu aakitekutya kenkyuukai
jouhousyorigakkai sisutemusofutouea to opereeteingu sisutemu kenkyuukai
情報処理学会プログラミング研究会
Show All
Source
Cite
Save
Citations (0)
5項 定理証明系Isabelle/HOLとその応用(4節 通研講演会,第5章 国際会議・シンポジウム等)
2006
yasuhiko minamide
Show All
Source
Cite
Save
Citations (0)
Selective tail call elimination
2003
Static Analysis Symposium
yasuhiko minamide
tukubadaigakudensi jouhoukougakukei
Show All
Source
Cite
Save
Citations (0)
特集「プログラミング及びプログラミング言語」の編集にあたって( プログラミング及びプログラミング言語)
2001
naoki kobayasi
yasuhiko minamide
Show All
Source
Cite
Save
Citations (0)
1