![]() ; Horne, Ross James ![]() in Journal of Logical and Algebraic Methods in Programming (2016), 85(5), 681-706 Detailed reference viewed: 81 (0 UL)![]() ; Horne, Ross James ![]() in Journal of Logical and Algebraic Methods in Programming (2015), 84(4), 485-504 Detailed reference viewed: 72 (1 UL)![]() Horne, Ross James ![]() in Science of Computer Programming (2014), 89 Detailed reference viewed: 92 (1 UL)![]() ; Horne, Ross James ![]() in Theoretical Computer Science (2012), 464 Detailed reference viewed: 88 (1 UL)![]() Horne, Ross James ![]() in The Semantic Web - Joint International Semantic Technology Conference JIST 2011, Hangzhou, China, December 4-7, 2011. Proceedings (2011) Detailed reference viewed: 81 (1 UL) |
||