Претрага
Резултати
Completeness theorem for a monadic logic with both first-order and probability quantifiers [1990]
Rašković, Miodrag; Tanović, Predrag

The maximality of the typed lambda calculus and of cartesian closed categories [2000]
Došen, Kosta



Duality Principle and Special Osserman Manifolds
[2013]
Andrejić, Vladica 

On the number of equivalence classes of invertible Boolean functions under action of permutation of variables on domain and range [2016]
Caric, Marko; Živković, Miodrag

Analytic equivalence of plane curve singularities yn +xαy +xβa(x) = 0 [2007]
Stepanović, Vanja

On Ricci Type Identities in Manifolds with Non-Symmetric Affine Connection [2013]
Mincic, Svetislav MEigenvalue bounds for the signless laplacian [2007]
Cvetković, Dragoš
A Propositional P-Adic Probability Logic [2010]
Milosevic, MilosOn the principle of stationary isoenergetic action [2012]
Jovanović, Božidar

Филтери
По типу
- 253