Proof transformations for equational theories

Publikation: Beitrag in Buch/Bericht/KonferenzbandKonferenzbeitragBegutachtung

19 Zitate (Scopus)

Fingerprint

Untersuchen Sie die Forschungsthemen von „Proof transformations for equational theories“. Zusammen bilden sie einen einzigartigen Fingerprint.

Computer Science

Mathematics

Engineering

Keyphrases

Psychology