On algebraic specifications of computable algebras with the discriminator technique.

G. Gagliardi Sauro Tulipani

Published in: RAIRO Theor. Informatics Appl. (1990)

Keyphrases

high level
formal specification
control flow
algebraic geometry
image sequences
specification language
turing machine
case study
higher order
spatial reasoning