program theory

電子計算機
Synonyms (1)：

programming theory (プログラミング理論)
About programming theory
- Search "programming theory"

Related terms (8)：

operational semantics (操作的意味論)
About operational semantics
- Search "operational semantics"
- Detailed information
denotational semantics (表示的意味論)
About denotational semantics
- Search "denotational semantics"
- Detailed information
many-sorted algebra (多ソート代数)
About many-sorted algebra
- Search "many-sorted algebra"
- Detailed information
recursive identification (再帰的識別)
About recursive identification
- Search "recursive identification"
- Detailed information
recursive estimation (再帰的推定)
About recursive estimation
- Search "recursive estimation"
- Detailed information

ｍore...

Broader terms (1)：

computation theory (計算理論)
About computation theory
- Search "computation theory"
- Detailed information

Narrower terms (5)：

type theory (型理論)
About type theory
- Search "type theory"
- Detailed information
process algebra (プロセス代数)
About process algebra
- Search "process algebra"
- Detailed information
equational theory (等式理論)
About equational theory
- Search "equational theory"
- Detailed information
domain theory (ドメイン理論)
About domain theory
- Search "domain theory"
- Detailed information
liveliness (活性【計算機】)
About liveliness
- Search "liveliness"
- Detailed information

Thsaurus map：

Thesaurus Map (Notice) Synonyms included only in Sciterm are not displayed

Return to Previous Page