Search results
Logica Universalis > 2019 > 13 > 2 > 147-150
Fundamenta Informaticae > 2018 > Vol. 159, nr 4 > 429--450
Fundamenta Informaticae > 2018 > Vol. 158, nr 4 > 353--368
Philosophical Studies > 2019 > 176 > 3 > 581-606
Journal of Computer and System Sciences > 2017 > 88 > C > 75-89
Journal of Philosophical Logic > 2018 > 47 > 3 > 449-479
International Journal of Machine Learning and Cybernetics > 2018 > 9 > 5 > 881-891
Studia Logica > 2017 > 105 > 1 > 13-35
Journal of Applied Logic > 2016 > 16 > C > 14-36
Lecture Notes in Computer Science > Programming Languages: Implementations, Logics, and Programs > 17-31
Lecture Notes in Computer Science > STACS 2001 > Contributions > 539-550
Lecture Notes in Computer Science > Foundations of Software Technology and Theoretical Computer Science > 270-285