The Algebraic Specifications do not Have the Tennenbaum Property.

Grazyna Mirkowska Andrzej Salwicki

Published in: Fundam. Informaticae (1996)

Keyphrases

high level
real world
social networks
image sequences
search algorithm
data model
object oriented
formal language
delay insensitive