Search results for: Olivier Finkel
Fundamenta Informaticae > 2021 > Vol. 183, nr 3-4 > 243--291
Annals of Pure and Applied Logic > 2016 > 167 > 12 > 1184-1212
Mathematical Logic Quarterly > 62 > 4-5 > 303 - 318
Lecture Notes in Computer Science > STACS 2006 > 301-312
Lecture Notes in Computer Science > Discrete Mathematics and Theoretical Computer Science > Contributed Papers > 155-167
Lecture Notes in Computer Science > Formal Modeling and Analysis of Timed Systems > Contributed Papers > 187-199
Lecture Notes in Computer Science > Computer Science Logic > Automata > 369-383
Information Processing Letters > 2015 > 115 > 6-8 > 609-611
Information Processing Letters > 2014 > 114 > 5 > 229-233
Mathematical Logic Quarterly > 56 > 5 > 452 - 460
Open Mathematics > 2010 > 8 > 2 > 299-313
Central European Journal of Mathematics > 2010 > 8 > 2 > 299-313
Information Processing Letters > 2009 > 109 > 23-24 > 1223-1226
Annals of Pure and Applied Logic > 2009 > 160 > 2 > 163-191
Archive for Mathematical Logic > 2008 > 47 > 6 > 625-651
Mathematics in Computer Science > 2008 > 2 > 1 > 85-102
Theoretical Computer Science > 2006 > 364 > 2 > 196-211
Electronic Notes in Theoretical Computer Science > 2005 > 123 > Complete > 75-92