The equational theory of the natural join and inner union is decidable
On Deriving Nested Calculi for Intuitionistic Logics from Semantic
  Systems
Lie Theory for Asymptotic Symmetries in General Relativity: The BMS
  Group Tree Structures: A Variational Approach to Shannon--Wiener Information Black holes as Andreev reflecting mirrors Fr\'echet Quantum Supergroups Automatic Embedding of Stories Into Collections of Independent Media Data Poisoning Attacks and Defenses to Crowdsourcing Systems Topological $q$-expansion and the supersymmetric sigma model Towards A Novel Unified Framework for Developing Formal, Network and
  Validated Agent-Based Simulation Models of Complex Adaptive Systems Quantum Error Correction in Scrambling Dynamics and Measurement-Induced
  Phase Transition H-AP Deployment for Joint Wireless Information and Energy Transfer in
  Smart Cities The air pressure effect on the homogeneous nucleation of carbon dioxide
  by molecular simulation Anderson Localization in Quark-Gluon Plasma Nilprogressions and groups with moderate growth Discrete $z$-filters and rings of analytic functions Composite Anomaly Detection via Hierarchical Dynamic Search Copernicanism and the Typicality in Time Combined error signal in Ramsey spectroscopy of clock transitions Eminence Grise Coalitions: On the Shaping of Public Opinion
cs.LO math.LO