Confluence of CHR revisited: invariants and modulo equivalence
Logic programming beyond Prolog
The asymptotic complexity of partial sorting -- How to learn large
  posets by pairwise comparisons Eigenvalue correlations in non-Hermitean symplectic random matrices Topological quantum computation is hyperbolic A "right" path to cyclic polygons Continuation semantics for multi-quantifier sentences: operation-based
  approaches Analytic approximation of transmutation operators for one-dimensional
  stationary Dirac operators and applications to solution of initial value and
  spectral problems Harmonic Beltrami Signature: A Novel 2D Shape Representation for Object
  Classification Landmark and Intensity Based Registration with Large Deformations via
  Quasi-conformal Maps Power Laws and Cities Population Quenches and lattice simulators for particle creation New Reductions and Nonlinear Systems for 2D Schrodinger Operators New perspectives in Arakelov geometry Electrical and Thermal Control of Magnetic Exchange Interactions Conformal Laplacian and Conical Singularities Xampling: Analog to Digital at Sub-Nyquist Rates Topological structures in the equities market network Teleportation by a Majorana Medium Stutter Diagnosis and Therapy System Based on Deep Learning
cs.PL cs.LO