Search results for: Richard Bornat
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > Submitted Papers > 14-28
Formal Aspects of Computing > 2013 > 25 > 6 > 893-931
Formal Aspects of Computing > 2010 > 22 > 6 > 735-772
Higher-Order and Symbolic Computation > 2009 > 22 > 4 > 295-298
Formal Aspects of Computing > 2009 > 21 > 5 > 393-395
Electronic Notes in Theoretical Computer Science > 2006 > 155 > Complete > 247-276
Theoretical Computer Science > 2003 > 298 > 3 > 557-581
Formal Aspects of Computing > 1999 > 11 > 3 > 244-271
Journal of Symbolic Computation > 1996 > 21 > 4-6 > 561-576