Results
| Title: | The resource control and strong normalisation | Authors: | Ghilezan, Silvia   ; Ivetić, Jelena |
Issue Date: | 2012 | Publication: | Zbornik apstrakata VLP 2012 - | Publisher: | Beograd : Mathematical Institute | Type: | Conference Paper | Collation: | str. 19-20 | URI: | https://enauka.gov.rs/handle/123456789/273173 | URL: | http://www.matf.bg.ac.rs/skup-u-zemlji/200/konferencija-verovatnosne-logike-i-njihove-primene-27-28-septembar-2012-matematicki-institut-sanu-beograd/ http://www.mi.sanu.ac.rs/conferences/vlp.pdf |
Metadata source: | Migrirano iz RIS podataka | Availability note: | Подаци и/или пуни текст су непотпуни | M-category: | Mp. category will be shown later |
Google ScholarTM
Items in eNauka are protected by copyright, with all rights reserved, unless otherwise indicated.