Results
| Title: | Behavioural inverse limit λ-models | Authors: | Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia   ; Likavec, Silvia |
Issue Date: | 2004 | Publication: | Theoretical Computer Science | ISSN: | 0304-3975 Theoretical Computer Science Search Idenfier |
Publisher: | Elsevier | Type: | Article | Collation: | vol. 316 br. 1-3 str. 49-74 | DOI: | 10.1016/j.tcs.2004.01.023 | WoS-ID: | 000221734200004 | Scopus-ID: | 2-s2.0-2442629668 | URI: | https://enauka.gov.rs/handle/123456789/579414 http://researchrepository.mi.sanu.ac.rs/handle/123456789/2610 |
URL: | https://www.sciencedirect.com/science/article/pii/S0304397504000763 | Project: | FET-Global Computing initiative, project DART ST-2001-33477 “Representation of proofs with applications, classification of structures and infinite combinatorics” (of the Ministry of Science, Technology, and Development of Serbia), grant 1630 |
M-category: | 22M22 |
Items in eNauka are protected by copyright, with all rights reserved, unless otherwise indicated.