Example image of eyePlorer eyePlorer map for 'Rewriting': Computer science Deterministic automaton Logic Mathematics Algorithm Computer program Declarative programming Conjunctive normal form De Morgan's laws Distributivity Double negative elimination Material conditional Binary relation Equality (mathematics) Preorder Reflexive Transitive closure Transitivity Closure (mathematics) Inverse relation Symmetric closure Equivalence relation Word problem (mathematics) Word problem for groups Undecidable problem Alonzo Church J. Barkley Rosser Lambda calculus Church–Rosser theorem Newman's lemma Alphabet (computer science) Free monoid String (computer science) Substring Tuple Symmetric relation Congruence relation Presentation of a monoid Semigroup Isomorphism Monoid Empty string Free group Bicyclic semigroup Graph (mathematics) Graph rewriting Ground expression Term (mathematics) Tree (graph theory) History monoid
Disclaimer