Search results for: Antoine Taveneaux
Annals of Pure and Applied Logic > 2014 > 165 > 9 > 1470-1483
Annals of Pure and Applied Logic > 2014 > 165 > 9 > 1380-1402
Theory of Computing Systems > 2013 > 52 > 1 > 148-161
Annals of Pure and Applied Logic > 2014 > 165 > 9 > 1470-1483
Annals of Pure and Applied Logic > 2014 > 165 > 9 > 1380-1402
Theory of Computing Systems > 2013 > 52 > 1 > 148-161