Akka

The Scandinavian Logic Society

Postdoc position in proof systems for modal fixpoint logics, Amsterdam

published 2019-03-11