多ソート代数
#Fleeting_Notes
多ソート代数(many-sorted algebra)
宇宙
が1階層しかない場合の代数
非可述的
な場合
確認用
Q. 多ソート代数
メモ
型推論に関わる論理の概念と用語 その2 - 檜山正幸のキマイラ飼育記 (はてなBlog)
抽象構文記法に基づく構文記述と一般代数系 - 檜山正幸のキマイラ飼育記 (はてなBlog)
調査用
Google.icon
多ソート代数(日)
Google.icon
多ソート論理(日)
Google.icon
Many-sorted algebra(英)
Google.icon
Many-sorted logic(英)
Wikipedia.icon
多ソート代数 - Wikipedia(日)
多ソート代数(検索) - Wikipedia(日)
Wikipedia.icon
Many-sorted algebra - Wikipedia(英)
Many-sorted algebra(検索) - Wikipedia(英)