Search results for: Alban Ponse
Lecture Notes in Computer Science > Prospects for Hardware Foundations > II Hardware And Dynamical Systems > 278-308
Indagationes Mathematicae > 2016 > 27 > 3 > 727-748
Lecture Notes in Computer Science > CONCUR '91 > 235-249
Journal of Applied Logic > 2015 > 13 > 2 Part B > 1-23
Theory of Computing Systems > 2008 > 43 > 3-4 > 563-582
Theoretical Computer Science > 2007 > 388 > 1-3 > 319-336
Journal of Applied Logic > 2007 > 5 > 1 > 170-192
Journal of Logic and Algebraic Programming > 2007 > 70 > 2 > 222-235
Acta Informatica > 2007 > 44 > 2 > 75-90
Electronic Notes in Theoretical Computer Science > 2006 > 162 > Complete > 287-293
Theoretical Computer Science > 2003 > 309 > 1-3 > 313-355
Journal of Logic and Algebraic Programming > 2002 > 51 > 2 > 175-192
Journal of Logic and Algebraic Programming > 2002 > 51 > 2 > 157-174
Theoretical Computer Science > 2001 > 269 > 1-2 > 203-229
Information Processing Letters > 2001 > 80 > 1 > 41-49
Information Processing Letters > 2001 > 80 > 1 > 59-65