Search results
Theoretical Computer Science > 2014 > 549 > Complete > 36-60
Annals of Pure and Applied Logic > 2018 > 169 > 4 > 277-311
International Journal of Approximate Reasoning > 2016 > 77 > C > 55-65
Lecture Notes in Computer Science > Algebra and Coalgebra in Computer Science > Contributed Papers > 100-114
Lecture Notes in Computer Science > Algebra and Coalgebra in Computer Science > Contributed Papers > 161-175
Annals of Pure and Applied Logic > 2015 > 166 > 2 > 187-218
Theoretical Computer Science > 2014 > 546 > Complete > 164-175
Journal of Logic, Language and Information > 2014 > 23 > 2 > 197-217
Annals of Pure and Applied Logic > 2012 > 163 > 12 > 1719-1737
Journal of Philosophical Logic > 2012 > 41 > 2 > 287-316
Studia Logica > 2012 > 100 > 3 > 497-515
Autonomous Agents and Multi-Agent Systems > 2011 > 22 > 1 > 4-30
Annals of Pure and Applied Logic > 2010 > 162 > 1 > 55-82
Annals of Pure and Applied Logic > 2010 > 161 > 12 > 1431-1461
Mathematical Logic Quarterly > 56 > 1 > 89 - 102
Studia Logica > 2010 > 95 > 1-2 > 139-159
Studia Logica > 1-24
Studia Logica > 2009 > 92 > 2 > 241-264
Electronic Notes in Theoretical Computer Science > 2008 > 220 > 3 > 79-96