Search results
Theoretical Computer Science > 2016 > 656 > PA > 76-105
Studia Logica > 2017 > 105 > 1 > 13-35
Journal of Logic, Language and Information > 2016 > 25 > 3-4 > 299-333
International Journal of Approximate Reasoning > 2016 > 77 > C > 55-65
Discrete Event Dynamic Systems > 2017 > 27 > 1 > 109-142
Mathematical Logic Quarterly > 62 > 4-5 > 412 - 419
Annals of Pure and Applied Logic > 2016 > 167 > 8 > 615-648
Journal of Evaluation in Clinical Practice > 22 > 4 > 509 - 514
Theoretical Computer Science > 2016 > 637 > C > 30-58
Journal of Philosophical Logic > 2017 > 46 > 4 > 419-441
Electronic Notes in Theoretical Computer Science > 2016 > 323 > C > 143-161
Journal of Applied Logic > 2016 > 16 > C > 14-36
Journal of Applied Logic > 2016 > 16 > C > 111-127
Journal of Logical and Algebraic Methods in Programming > 2016 > 85 > 4 > 500-519
Studia Logica > 2016 > 104 > 6 > 1099-1118
Information and Computation > 2016 > 247 > C > 217-234
Information Sciences > 2016 > 333 > C > 44-60
Journal of Logic, Language and Information > 2016 > 25 > 3-4 > 335-354