I am working as professor in computer science in the group Reliable Systems at the Department of Computer Science, Faculty of Mathematics and Natural Science, University in Oslo.


Worklist algorithms

12 minute read

A small amount of background information (best read in the context of the first sets)

Back to top ↑


Y Y?

17 minute read

or why Y?

Back to top ↑


Back to top ↑


Fol Soundandcomplete

10 minute read

w— title: “Sound & (in-)complete proof system for first-order logics” excerpt: “Some clarification (I hope)” last_modified_at: <2021-07-15 Thu> hea...

Back to top ↑