Pretraga
Rezultati
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
A First-order Logic for Reasoning about Knowledge and Probability [2020]
Tomović, Siniša ; Ognjanović, Zoran ; Doder, Dragan
On the Power of Substitution in the Calculus of Structures [2015]
Novakovic, Novak; Strassburger, LutzFilteri
Po tipu