Results 101 to 110 of about 532 (199)
Study on web pillar failure mechanism during auger mining and its associated risk assessment. [PDF]
Sci Rep, 2023 Jiang J +5 more
europepmc +1 more source
Forcing axioms and the complexity of non-stationary ideals. [PDF]
Mon Hefte Math, 2022 Cox S, Lücke P.
europepmc +1 more source
Unification with Simple Variable Restrictions and Admissibility of $\Pi_{2}$-rules
We develop a method to recognize admissibility of $\Pi_{2}$-rules, relating this problem to a specific instance of the unification problem with linear constants restriction, called here "unification with simple variable restriction". It is shown that for
Almeida, Rodrigo Nicolau +1 more
core
Implication in finite posets with pseudocomplemented sections. [PDF]
Soft comput, 2022 Chajda I, Länger H.
europepmc +1 more source
Algebras, Graphs and Ordered Sets - ALGOS 2020 & the Mathematical Contributions of Maurice Pouzet. [PDF]
Order (Dordr), 2023 Couceiro M, Duffus D.
europepmc +1 more source
Parametrized topological complexity of poset-stratified spaces. [PDF]
J Appl Comput Topol, 2022 Tanaka K.
europepmc +1 more source
About finite posets R and S with \# H(P,R) <= \# H(P,S) for every finite poset P [PDF]
, 2020 Frank a Campo
openalex
The structure of κ-maximal cofinitary groups. [PDF]
Arch Math Log, 2023 Fischer V, Switzer CB.
europepmc +1 more source