# Fingerprint Dive into the research topics where Theoretical Computer Science is active. These topic labels come from the works of this organisation's members. Together they form a unique fingerprint.

- Sort by
- Weight
- Alphabetically

### Mathematics

Equivalence

Axiomatization

Term Rewriting

Bisimulation

Rewriting

Term

Preorder

Specification

Process Algebra

Calculus

Structural Operational Semantics

Congruence

Higher-order Logic

Model Checking

Modulo

Branching

Term Rewriting Systems

Logic

Lambda Calculus

Equational Theory

Higher Order

Coalgebra

Recursion

Trace

Automata

### Engineering & Materials Science

Semantics

Specifications

Algebra

Model checking

Acoustic waves

Data structures

Polynomials

Finite automata

Network protocols

Decomposition

Concretes

Transducers

Syntactics

Computability and decidability

Formal languages

Turing machines

Functional programming

Atoms

Mathematical operators

Mobile ad hoc networks

Chemical analysis

Surface mount technology

Equivalence classes

Substitution reactions

Theorem proving