Autori: Gilezan Silvia
| Naslov | Intuitionistic Sequent-Style Calculus with Explicit Structural Rules (Proceedings Paper) |
| Autori | Gilezan Silvia Ivetic Jelena B Lescanne Pierre Zunic Dragisa |
| Info | LOGIC, LANGUAGE, AND COMPUTATION, (2011), vol. 6618 br. , str. 101-124 |
| Ispravka | Web of Science Elečas Rang časopisa Citati: Web of Science Scopus |
     |
| Naslov | Security types for dynamic web data (Article) |
| Autori | Dezani-Ciancaglini Mariangiola Gilezan Silvia Pantovic Jovanka B  Varacca Daniele
|
| Info | THEORETICAL COMPUTER SCIENCE, (2008), vol. 402 br. 2-3, str. 156-171 |
| Ispravka | Web of Science Članak Elečas Rang časopisa Citati: Web of Science Scopus |
|
|
| Naslov | An approach to call-by-name delimited continuations (Article) |
| Autori | Herbelin Hugo Gilezan Silvia |
| Info | ACM SIGPLAN NOTICES, (2008), vol. 43 br. 1, str. 383-394 |
| Ispravka | Web of Science Elečas Rang časopisa Citati: Web of Science |
|
|
| Naslov | Characterizing strong normalization in the Curien-Herbelin symmetric lambda calculus: Extending the Coppo-Dezani heritage (Article) |
| Autori | Dougherty Daniel J Gilezan Silvia Lescanne Pierre |
| Info | THEORETICAL COMPUTER SCIENCE, (2008), vol. 398 br. 1-3, str. 114-128 |
| Ispravka | Web of Science Članak Elečas Rang časopisa Citati: Web of Science Scopus |
|
|
| Naslov | Separating points by parallel hyperplanes - Characterization problem (Article) |
| Autori | Gilezan Silvia Pantovic Jovanka B Zunic Jovisa
|
| Info | IEEE TRANSACTIONS ON NEURAL NETWORKS, (2007), vol. 18 br. 5 , Suppl. , str. 1356 -1363 |
| Ispravka | Web of Science Članak Elečas Rang časopisa Citati: Web of Science Scopus |
|
|
| Naslov | Strong normalization of the dual classical sequent calculus (Article) |
| Autori | Dougherty Daniel J Gilezan Silvia Lescanne Pierre Likavec Silvia J |
| Info | LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING, PROCEEDINGS, (2005), vol. 3835 br. , str. 169-183 |
| Ispravka | Web of Science Članak Elečas Rang časopisa Citati: Web of Science Scopus |
|
|
| Naslov | Classical proofs, typed processes, and intersection types (Article) |
| Autori | Gilezan Silvia Lescanne Pierre |
| Info | TYPES FOR PROOFS AND PROGRAMS, (2004), vol. 3085 br. , str. 226-241 |
| Ispravka | Web of Science Citati: Web of Science |
|
|
| Naslov | Behavioural inverse limit lambda-models (Article) |
| Autori | Dezani-Ciancaglini Mariangiola Gilezan Silvia Likavec Silvia J |
| Info | THEORETICAL COMPUTER SCIENCE, (2004), vol. 316 br. 1-3, str. 49-74 |
| Ispravka | Web of Science Članak Elečas Rang časopisa Citati: Web of Science Scopus |
|
|
| Naslov | Two behavioural lambda models (Article) |
| Autori | Dezani-Ciancaglini Mariangiola Gilezan Silvia |
| Info | TYPES FOR PROOFS AND PROGRAMS, (2002), vol. 2646 br. , str. 127-147 |
| Ispravka | Web of Science Citati: Web of Science |
|
|
| Naslov | Full intersection types and topologies in lambda calculus (Article) |
| Autori | Gilezan Silvia |
| Info | JOURNAL OF COMPUTER AND SYSTEM SCIENCES, (2001), vol. 62 br. 1, str. 1-14 |
| Ispravka | Web of Science Članak Elečas Rang časopisa Citati: Web of Science Scopus |
|
|
