Index sets for Finite Normal Predicate Logic Programs
Characterizing the NP-PSPACE Gap in the Satisfiability Problem for Modal
  Logic
Weighted Envy-Freeness in Indivisible Item Allocation Triplet Entropy Loss: Improving The Generalisation of Short Speech
  Language Identification Systems Rate Equation Approaches to Amplification of Enantiomeric Excess and
  Chiral Symmetry Breaking ReviewerNet: Visualizing Citation and Authorship Relations for Finding
  Reviewers Theories of violation of statistics A Parameterized Family of Meta-Submodular Functions Isocurvature Perturbations of Dark Energy and Dark Matter from the
  Swampland Conjecture The Turbulent Dynamo in Highly Compressible Supersonic Plasmas The Kikuchi Hierarchy and Tensor PCA Flag vectors The Secondary Ionization Wave and Characteristic Map of Surface
  Discharge Plasma in a Wide Time Scale Analyzing crosstalk error in the NISQ era Can we observe the QCD phase transition-generated gravitational waves
  through pulsar timing arrays? Two-term relative cluster tilting subcategories, $\tau-$tilting modules
  and silting subcategories Scale-free interpersonal influences on opinions in complex systems Coins and Logic Supersymmetry in Closed Chains of Coupled Majorana Modes A linear framework for region-based image segmentation and inpainting
  involving curvature penalization Derived Representation Schemes and Cyclic Homology
cs.LO cs.CC