Around finite second-order coherence spaces
Memoization for Unary Logic Programming: Characterizing PTIME
Geophysical fluid models with simple energy backscatter: explicit flows
  and unbounded exponential growth The Yannelis-Prabhakar Theorem on Upper Semi-Continuous Selections in
  Paracompact Spaces: Extensions and Applications Entropic and enthalpic phase transitions in high energy density nuclear
  matter Center of mass velocity from Mass Polariton solution to
  Abraham-Minkowski controversy Microscopic metallic air-bridge arrays for connecting quantum devices On Polynomial Ideals And Overconvergence In Tate Algebras Evolutionary Map of the Universe (EMU):Compact radio sources in the
  SCORPIO field towards the Galactic plane Quantum Simulators: Architectures and Opportunities Quantum Monte Carlo with Coupled-Cluster wave functions Automatic Speech Recognition Using Template Model for Man-Machine
  Interface Optimal Dynamic Contracts for a Large-Scale Principal-Agent Hierarchy: A
  Concavity-Preserving Approach Mechanisms of Dendrites Occurrence during Crystallization: Features of
  the Ice Crystals Formation Global Parabolic Induction and Abstract Automorphicity New approach to Hamiltonian formulation of Hall magnetohydrodynamics Quantum Inozemtsev model, quasi-exact solvability and N-fold
  supersymmetry On complete representability of Pinter's algebras and related structures Deep Landscape Forecasting for Real-time Bidding Advertising
cs.LO cs.CC math.LO