Correctness of Copy in Calculi with Letrec.

Manfred Schmidt-Schauß

Published in: RTA (2007)

Keyphrases

qualitative spatial reasoning
qualitative spatial
multiresolution
machine learning
information systems
decision making