GradNova

Home
Find Faculty
Universities
Research
Home
/
Research
/

Logic and Computation

Logic and Computation

3 faculty research Logic and Computation on GradNova.

D
Logic and Computation
History and Theory of Mathematics
Mathematics Education and Teaching Techniques
Philosophy and History of Science
+2
R
Computational Complexity
Discrete Mathematics
Logic and Computation
Proof Complexity
+5
B
Logic and Computation
Programming Language Theory
Logic, Programming, and Type Systems
Logic, Reasoning, and Knowledge
+3