Search results
Logic and Logical Philosophy > 2019 > 28 > 1 > 137-155
Archive for Mathematical Logic > 2019 > 58 > 3-4 > 359-385
Logic and Logical Philosophy > 2017 > 26 > 4 > 461–471
Studia Logica > 2016 > 104 > 1 > 79-114
Theoretical Computer Science > 2013 > 474 > Complete > 98-116
Information and Computation > 2011 > 209 > 12 > 1491-1503
Information and Computation > 2011 > 209 > 12 > 1465-1490
Theoretical Computer Science > 2011 > 412 > 39 > 5433-5445
Journal of Philosophical Logic > 2011 > 40 > 1 > 95-101
Electronic Notes in Theoretical Computer Science > 2008 > 205 > Complete > 49-65
Annals of Pure and Applied Logic > 2007 > 149 > 1-3 > 81-99
Fundamenta Informaticae > 2006 > Vol. 71, nr 4 > 419-441
Archive for Mathematical Logic > 2004 > 43 > 8 > 965-990
Fundamenta Informaticae > 1999 > Vol. 37, Nr 4 > 369-412