Erdélyi Gáspár: Towards a unified model of computation with correctness proofs : [abstract].
Preview |
Cikk, tanulmány, mű
cscs_2006_046-047.pdf Download (42kB) | Preview |
| Item Type: | Conference or Workshop Item |
|---|---|
| Journal or Publication Title: | Conference of PhD Students in Computer Science |
| Date: | 2006 |
| Volume: | 5 |
| Page Range: | pp. 46-47 |
| Language: | English |
| Publisher: | University of Szeged |
| Place of Publication: | Szeged |
| Event Title: | Conference of PhD students in computer science (5.) |
| Event Type: | Conference |
| Event Location: | Szeged |
| Event Dates: | 2006. június 27-30. |
| Related URLs: | http://acta.bibl.u-szeged.hu/59483/ |
| Uncontrolled Keywords: | Számítástechnika - előadáskivonat |
| Additional Information: | Bibliogr.: p. 46-47. |
| Subjects: | 01. Natural sciences 01. Natural sciences > 01.02. Computer and information sciences |
| Date Deposited: | 2019. Oct. 16. 10:53 |
| Last Modified: | 2023. Jun. 29. 08:15 |
| URI: | http://acta.bibl.u-szeged.hu/id/eprint/59851 |
Actions (login required)
 |
View Item |
