Zur Hauptnavigation wechseln
Zur Suche wechseln
Zum Hauptinhalt wechseln
Technische Universität München Home
Hilfe und FAQ
English
Deutsch
Home
Personen
Einrichtungen
Projekte
Publikationen
Auszeichnungen
Aktivitäten
Presseberichte
Nach Expertise, Namen oder Zugehörigkeit suchen
Proof transformations for equational theories
Tobias Nipkow
University of Cambridge
Publikation
:
Beitrag in Buch/Bericht/Konferenzband
›
Konferenzbeitrag
›
Begutachtung
19
Zitate (Scopus)
Übersicht
Fingerprint
Fingerprint
Untersuchen Sie die Forschungsthemen von „Proof transformations for equational theories“. Zusammen bilden sie einen einzigartigen Fingerprint.
sortieren
Gewicht:
Alphabetisch
Keyphrases
Associativity
100%
Equational Theory
100%
Proof Transformations
100%
Commutativity
66%
Resolvent
66%
Proof System
66%
Matching Algorithm
33%
Law
33%
Proof Techniques
33%
Equational Logic
33%
Decision Procedure
33%
Rewriting System
33%
Equivalence Testing
33%
System Equivalence
33%
Proof Translation
33%
Computer Science
Equational Theory
100%
Associativity
100%
Proof System
66%
Commutativity
66%
Unification Procedure
33%
Matching Algorithm
33%
Decision Procedure
33%
Mathematics
Associativity
100%
Resolvent
66%
Commutativity
66%
Decision Procedure
33%
Designed System
33%
Equivalence Test
33%
Logic Equation
33%
Rewriting Systems
33%
Engineering
Resolvent
100%
Commutativity
100%
Matching Algorithm
50%
Logic Equation
50%
Psychology
Associativity
100%