Search results for: D Ballis
Journal of Symbolic Computation > 2015 > 69 > Complete > 3-39
Theoretical Computer Science > 2010 > 411 > 47 > 4055-4101
Electronic Notes in Theoretical Computer Science > 2008 > 219 > Complete > 51-66
Electronic Notes in Theoretical Computer Science > 2008 > 216 > Complete > 93-109
Electronic Notes in Theoretical Computer Science > 2006 > 157 > 2 > 11-17
International Journal on Software Tools for Technology Transfer > 2006 > 8 > 6 > 565-585
Electronic Notes in Theoretical Computer Science > 2005 > 124 > 1 > 41-61
Electronic Notes in Theoretical Computer Science > 2003 > 86 > 3 > 1-18
Electronic Notes in Theoretical Computer Science > 2003 > 86 > 3 > 1-20