Претрага
Резултати
Session Types Isomorphisms
[2014]
Dezani-Cinaciaglini, Mariangiola; Padovani, Luca; Pantović, Jovanka On Automating Triangle Constructions in Absolute and Hyperbolic Geometry
[2021]
Marinković, Vesna On Compensation Primitives as Adaptable Processes
[2015]
Dedeić, Jovana Dynamic role authorization in multiparty conversations
[2014]
Gilezan, Silvia Towards Automated Readable Proofs of Ruler and Compass Constructions
[2024]
Marinković, Vesna Formalization and Implementation of Algebraic Methods in Geometry
[2012]
Marić, Filip Precise subtyping for synchronous multiparty sessions
[2016]
Mariangiola Dezani-Ciancaglini; Gilezan, Silvia Automation of Triangle Ruler-and-Compass Constructions Using Constraint Solvers [2023]
Bankovic, Milan MApproximate State Reduction of Fuzzy Finite Automata
[2023]
Ćirić, Miroslav A typed model for dynamic authorizations
[2016]
Gilezan, Silvia Филтери
По типу
- 16