Search results for: Manuel A. Martins
Science of Computer Programming > 2016 > 126 > C > 73-93
Journal of Logic, Language and Information > 2014 > 23 > 1 > 31-52
Science of Computer Programming > 2016 > 126 > C > 73-93
Journal of Logic, Language and Information > 2014 > 23 > 1 > 31-52