Browse by Person (creator, editor, contributor, etc.)

Group by: Item Type | Date | No Grouping

Jump to: Book section | Conference or workshop item

Number of items: 2.

Book section

Nuka, Gift and Woodcock, Jim (2006) Mechanising a Unifying Theory. In: Unifying Theories of Programming. Lecture Notes in Computer Science, 4010 . Springer, Berlin, pp. 217-35. ISBN 978-3-540-34750-7. The full text of this publication is not available from this repository.

Conference or workshop item

Nuka, Gift and Woodcock, Jim (2004) Mechanising the alphabetised relational calculus. In: Electronic Notes in Theoretical Computer Science. Electronic Notes in Theoretical Computer Science, 95. Elsevier , Campina Grande, Brazil pp. 209-225. The full text of this publication is not available from this repository.

This list was generated on Wed Jun 19 19:45:31 2013 BST.