Zuzana Bilanová

Publication Activity (10 Years)

Years Active: 2019-2020
Publications (10 Years): 7

Top Topics

Cut Elimination

Directed Acyclic Graph

Functional Language

Proof Theoretic

Top Venues

ICTERI PhD Symposium

Comput. Informatics

Publications

Liberios Vokorokos, Branislav Mados, Zuzana Bilanová
PSVDAG: Compact Voxelized Representation of 3D Scenes Using Pointerless Sparse Voxel Directed Acyclic Graphs. Comput. Informatics 39 (3) (2020)
Ján Perhác, Zuzana Bilanová
Categorical Model of Functional Language with Natural Numbers and Boolean Values. CSIT (2) (2020)
Zuzana Bilanová, Ján Perhác, Michal Hulic
A Modern Interpreter of Predicate Linear Logic Formulas. CSIT (2) (2020)
Zuzana Bilanová, Ján Perhác
About possibilities of applying logical analysis of natural language in computer science. SACI (2019)
Ján Perhác, Zuzana Bilanová, Gabriela Havrilcáková
Simple-typed Functional Language Modeled by Category Theory. ICTERI PhD Symposium (2019)
Ján Perhác, Zuzana Bilanová, William Steingartner, Jergus Piatko
Benchmark of software developed in different component models. SACI (2019)
Zuzana Bilanová, Ján Perhác
Natural Language Dialogue Formalization: From Hyperintensional Logic to Linear Logic. ICTERI PhD Symposium (2019)