Theoretical Computer Science

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.

Mathematics

Equivalence
Axiomatization
Term Rewriting
Bisimulation
Rewriting
Term
Preorder
Specification
Process Algebra
Congruence
Calculus
Structural Operational Semantics
Higher-order Logic
Model Checking
Branching
Modulo
Term Rewriting Systems
Logic
Lambda Calculus
Equational Theory
Higher Order
Coalgebra
Recursion
Trace
Divides

Engineering & Materials Science

Semantics
Specifications
Algebra
Model checking
Acoustic waves
Data structures
Polynomials
Decomposition
Finite automata
Network protocols
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