高村博紀 (Hiroki Takamura) - マイポータル - researchmap

基本情報

所属: 独立行政法人産業技術総合研究所システム検証研究センター算譜意味論研究チーム

J-GLOBAL ID: 200901057906824671
researchmap会員ID: 5000086347

外部リンク: http://www.aist.go.jp/RESEARCHERDB/cgi-bin/worker_detail.cgi?call=namae&rw_id=H83735220

MISC

1

The variety of modal FLew-algebras is generated by its finite simple members

「算譜科学研究速報」（Programming Science Technical Report) 2006年