Category:Theoretical computer science

Subcategories

There are 3 subcategories to this category.

A

• Algorithmic information theory

C

• Categorical logic
• Computability

Articles in category "Theoretical computer science"

There are 11 articles in this category.

Automata theory B Bisimulation C Categorical logic

K Kripke structure L Logic in computer science P P system Pi-calculus

R Recursive definition S Simulation preorder Stuttering equivalence T Theoretical foundation of polymorphism (computer science)