Results
| Title: | Towards Probabilistic Testing of Lambda Terms | Authors: | KAŠTEROVIĆ, SIMONA Đ.   ; Michele Pagani |
Issue Date: | 2018 | Publication: | 7th Conference on Logic and Applications, LAP 2018 | Publisher: | Dubrovnik, Hrvatska | Type: | Conference Paper | Collation: | str. 21-23 | URI: | https://enauka.gov.rs/handle/123456789/132468 | Metadata source: | Migrirano iz RIS podataka | M-category: | Mp. category will be shown later |
Google ScholarTM
Items in eNauka are protected by copyright, with all rights reserved, unless otherwise indicated.