Login / Signup

Phänomene der Knuth-Bendix Vervollständigung.

Andrea Sattler-Klein
Published in: Ausgezeichnete Informatikdissertationen (1996)
Keyphrases
  • information systems
  • function symbols
  • operational semantics
  • rewrite systems
  • theorem proving
  • term rewriting