Constructing Programs From Metasystem Transition Proofs
You are here
| Title | Constructing Programs From Metasystem Transition Proofs |
| Publication Type | Conference Paper |
| Year of Publication | 2008 |
| Authors | Hamilton G, Kabir M.H |
| Conference Name | First International Workshop on Metacomputation in RussiaFirst International Workshop on Metacomputation in Russia |
| Date Published | 2008 |
| Conference Location | Pereslavl-Zalessky, Russia |
| URL | https://sharepoint.lero.ie/Publications/2008/Conference%20Papers/2008-Hamilton-Constructing%20Programs%20from%20Metasystem%20Transition%20Proofs.pdf |
