Similar to ホーア論理

Unification (computer science)

Specification and Description Language

B-Method

Communicating sequential processes

Formal verification

Predicate transformer semantics

Refinement (computing)

Static program analysis

Z notation

Unifying Theories of Programming

Prolog

Successor function

Sequential logic

Linear logic

Intuitionistic type theory

Anti-unification

Logic family

Denotational semantics

Forward chaining

Logic gate

Bailey–Johnson 150-metre race

1945 in film

1951 in film

1953 in film

1956 in film

1957 in film

1961 in film