Homomorphism Preserving Algebraic Specifications Require Hidden Sorts

Jan A. Bergstra Jan Heering

Published in: Inf. Comput. (1995)

Keyphrases

higher order
data sets
databases
social networks
high level
hidden information
real world
genetic algorithm
description logics
formal specification
image details
written in natural language