Similar to シークエント計算
アルティン環
Artinian ring
アルティン・シュライアー理論
Artin–Schreier theory
アルティン–シュライヤーの定理
アルティン相互法則
Artin reciprocity
アルティン・リースの補題
Artin–Rees lemmaアルハゼンの定理
アルバネーゼ多様体
Albanese variety
アルファシェイプ
Alpha shape
アルファ・ベータ法
Alpha–beta pruning
アルファベット (計算機科学)
Alphabet (formal languages)
ロジャー・アルペリン
Roger C. Alperin
仕様及び記述言語
Specification and Description Language
形式手法
Formal methods
CICS
CICS
Guarded Command Language
Guarded Command Language
Lustre (プログラミング言語)
Lustre (programming language)
Planner
Planner (programming language)PlusCal
PlusCalTLA+
TLA+
VDM
Vienna Development Method
概念実証
Proof of concept
型付きラムダ計算
Typed lambda calculus
グレブナー基底
Gröbner basis
形式仕様記述
Formal specification
形式的検証
Formal verification
形式等価判定
Formal equivalence checking
充足可能性問題
Boolean satisfiability problem
述語変換意味論
Predicate transformer semantics