Rewriting
Programming language
Computer science
Serialization
Set (abstract data type)
Semantics (computer science)
Formal methods
Formal semantics (linguistics)
Equational logic
Principle of compositionality
Operational semantics
Mathematical proof
Formal language
Theoretical computer science
Mathematics
Artificial intelligence
Geometry
