Hereditary History Preserving Bisimilarity Is Undecidable.

Marcin Jurdzinski Mogens Nielsen

Published in: STACS (2000)

Keyphrases

sufficient conditions
information technology
machine learning
image processing
multiscale
expert systems
image details