Similar to シークエント計算

Menelaus of Alexandria

List of things named after Alexander Grothendieck

Pavel Alexandrov

Alexandroff extension

Alexandrov theorem

Aleph number

Allen–Cahn equation

Nachman Aronszajn

Aronszajn tree

Specification and Description Language

Formal methods

CICS

Communicating sequential processes

Guarded Command Language

Lustre (programming language)

Planner (programming language)

PlusCal

TLA+

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

Specification language