Program Equivalence and Canonical Forms in Stable Discrete Interpretations.

Gérard Berry Bruno Courcelle

Published in: ICALP (1976)

Keyphrases

information systems
computer programs
discrete version
databases
real world
similarity measure
hidden markov models
continuous domains
program execution
discrete geometry
canonical form