Zuzana Bilanov
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
3
Active years
2019–2020
Best venue rank
National
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2020 | CSIT | A Modern Interpreter of Predicate Linear Logic Formulas. | Zuzana Bilanov, Jn Perhc, Michal Hulic |
| 2020 | CSIT | Categorical Model of Functional Language with Natural Numbers and Boolean Values. | Jn Perhc, Zuzana Bilanov |
| 2019 | ICTERI | Natural Language Dialogue Formalization: From Hyperintensional Logic to Linear Logic. | Zuzana Bilanov, Jn Perhc |
| 2019 | ICTERI | Simple-typed Functional Language Modeled by Category Theory. | Jn Perhc, Zuzana Bilanov, Gabriela Havrilckov |
| 2019 | SACI | About possibilities of applying logical analysis of natural language in computer science. | Zuzana Bilanov, Jn Perhc |
| 2019 | SACI | Benchmark of software developed in different component models. | Jn Perhc, Zuzana Bilanov, William Steingartner, Jergus Piatko |