Search results for: Dale Miller
Formal Aspects of Computing > 2017 > 29 > 3 > 383-399
Electronic Notes in Theoretical Computer Science > 2016 > 323 > C > 93-108
Journal of Automated Reasoning > 2017 > 59 > 3 > 287-330
Formal Aspects of Computing > 2017 > 29 > 3 > 383-399
Electronic Notes in Theoretical Computer Science > 2016 > 323 > C > 93-108
Journal of Automated Reasoning > 2017 > 59 > 3 > 287-330