Search results for: Matteo Pradella
Science of Computer Programming > 2015 > 102 > Complete > 20-43
Journal of Applied Logic > 2014 > 12 > 4 > 522-557
Information Processing Letters > 2013 > 113 > 7 > 245-249
The Journal of Systems & Software > 2012 > 85 > 8 > 1801-1817
Information and Computation > 2011 > 209 > 9 > 1246-1267
Information Processing Letters > 2008 > 105 > 6 > 213-217
Pattern Recognition > 2008 > 41 > 2 > 555-566
Theoretical Computer Science > 2006 > 356 > 1-2 > 90-103
Theoretical Computer Science > 2005 > 340 > 2 > 257-272
Computer Languages > 2000 > 26 > 2-4 > 105-123