Hirokazu Anai
Erfüllbarkeitsproblem der Aussagenlogik algorithm algorithms automata calculi calculus computer algebra dynamic systems hybrid systems logic optimization polynomial functions semantics of programming term rewriting transformations of mod