Results 141 to 150 of about 378,509 (227)

Semantic Cut Elimination for the Logic of Bunched Implications and Structural Extensions, Formalized in Coq

, 2022
Frumin D.
europepmc   +1 more source

Critical metallic phase in the overdoped random t-J model. [PDF]

Proc Natl Acad Sci U S A, 2022
Christos M, Joshi DG, Sachdev S, Tikhanovskaya M.   +3 more
europepmc   +1 more source

VAGUE PRIME LI-IDEALS OF LATTICE IMPLICATION ALGEBRAS [PDF]

, 2016
V. Amarendra Babu, T. Anitha
openalex   +1 more source

Educational assessment without numbers. [PDF]

Front Psychol
Scharaschkin A.
europepmc   +1 more source

Categorical Torelli theorems: results and open problems. [PDF]

Rend Circ Mat Palermo, 2023
Pertusi L, Stellari P.
europepmc   +1 more source

How to choose a design thinking method for teaching the design of localization: A two-dimension linguistic fuzzy model with two-tuples. [PDF]

PLoS One
Fu YL, Zheng L, Liang KC, Dai R.
europepmc   +1 more source

Enumeration of binary trees compatible with a perfect phylogeny. [PDF]

J Math Biol, 2022
Palacios JA, Bhaskar A, Disanto F, Rosenberg NA.   +3 more
europepmc   +1 more source

Toward a Synergy of a Lattice Implication Algebra with Fuzzy Lattice Reasoning - A Lattice Computing Approach

, 2016
Yi Liu, Vassilis G. Kaburlasos, Anestis G. Hatzimichailidis, Yang Xu   +3 more
openalex   +1 more source

ON SYMMETRIC BI-DERIVATIONS OF LATTICE IMPLICATION ALGEBRAS

, 2017
Şule Ayar Özbal, Öncül Altındağ, Yong Ho Yon   +2 more
openalex   +2 more sources

A Mathematical Framework for Quantum Hamiltonian Simulation and Duality. [PDF]

Ann Henri Poincare
Apel H, Cubitt T.
europepmc   +1 more source