Search
Research outputs
A First-order Logic for Reasoning about Knowledge and Probability [2020]
Tomović, Siniša
; Ognjanović, Zoran ; Doder, Dragan
QCSP on Reflexive Tournaments [2022]
Larose B.; Martin B.; Marković Petar ; Paulusma D.; Smith S.; Živný S.
Quantified Constraint Satisfaction Problem on Semicomplete Digraphs [2017]
Đapić, Petar ; Marković, Petar ; Martin, Barnaby
On the Power of Substitution in the Calculus of Structures [2015]
Novakovic, Novak; Strassburger, LutzFilters
By type
- 4