Zur Komplexität der Presburger Artihmetik und des Äquivalenzproblems einfacher Programme.

Published in: Theoretical Computer Science (1979)

Keyphrases

presburger arithmetic
higher education
multimedia
distance learning
artificial intelligence
social networks
decision making
decision trees
training data
digital libraries