SLD-resolution without occur-check, an example
Context-Free Session Types for Applied Pi-Calculus
Cosmogenic nuclide enhancement via deposition from long-period comets as
  a test of the Younger Dryas impact hypothesis Extraction of the interaction parameters for $\alpha-$RuCl$_3$ from
  neutron data using machine learning Statistical detection of format dialects using the weighted Dowker
  complex Anisotropy in finite continuum percolation: Threshold estimation by
  Minkowski functionals Applying Fourier Analysis to Judgment Aggregation Two New Settings for Examples of von Neumann Dimension The classical Bertrand-Darboux problem Support vector machines for learning reactive islands On a Centrality Maximization Game Synthesis and Adaptation of Effective Motor Synergies for the Solution
  of Reaching Tasks Phase transitions in the $q$-coloring of random hypergraphs Strings and skyrmions on domain walls Instability of backoff protocols with arbitrary arrival rates Open Quantum Random Walks, Quantum Markov Chains and Recurrence Hydrodynamic Scaling Analysis of Nuclear Fusion driven by ultra-intense
  laser-plasma interactions Active topolectrical circuits A categorical framework for the quantum harmonic oscillator Contractive function systems, their attractors and metrization Band inversion and quasi-nodal spheres Ihara zeta functions for periodic simple graphs
cs.LO cs.PL