Results 181 to 190 of about 93,496 (268)
Combining Higher-Order Logic with Set Theory Formalizations. [PDF]
Kaliszyk C, Pąk K.
europepmc +1 more source
Universality of High-Strength Tensors. [PDF]
Bik A+3 more
europepmc +1 more source
Lorentzian bordisms in algebraic quantum field theory. [PDF]
Bunk S, MacManus J, Schenkel A.
europepmc +1 more source
A relational approach to consciousness: categories of level and contents of consciousness. [PDF]
Tsuchiya N, Saigo H.
europepmc +1 more source
Interpolation functors, sequence ideals and operator ideals [PDF]
Albrecht Pietsch
openalex +1 more source
Categories of Orthosets and Adjointable Maps. [PDF]
Paseka J, Vetterlein T.
europepmc +1 more source