|
2013 Other Outputs PrologDongol, Brijesh M.S., Hayes, Ian J. and Robinson, Peter J. (2013). Prolog. The University of Queensand. (Dataset) doi: 10.14264/uql.2014.173 |
|
2011 Other Outputs Reasoning about teleo-reactive programs under parallel compositionDongol, Brijesh and Hayes, Ian J. (2011). Reasoning about teleo-reactive programs under parallel composition. Technical Report SSE, 2011-01. Division of Systems and Software Engineering Research, School of Information Technology and Electrical Engineering, The University of Queensland. |
|
2002 Other Outputs Block-structured (attribute) grammarsHayes, I. J. (2002). Block-structured (attribute) grammars. Brisbane, Australia: The University of Queensland. |
|
1998 Other Outputs Deadlines are terminationHayes, Ian J. and Utting, Mark (1998). Deadlines are termination. Technical Report 98-01 St Lucia, QLD, Australia: Software Verification Research Centre, School of Information Technology, The University of Queensland. |
