Persons tagged with «Complexity Theory»

Name Phone E-mail Tags
Antonsen, Roger Associate Professor +47 22852482 rantonse@ifi.uio.no Logic, Proof Theory, Automated Reasoning, Proof Search, Modal Logic, First-Order Logic, Complexity Theory, Automata, Cellulære automater, Generative Art, Algorithms, Algorithmic Art, Mathematical Art, Netlogo, Processing, Philosophy, Philosophy of Mathematics, Outreach, Science Communication
Kristiansen, Lars Professor +4792210527 (mob) +47 922 10 527 larsk@math.uio.no Mathematical Logic, Computability Theory, Complexity Theory, Computable Analysis
Feed from this page