A complete axiomatisation of reversible Kleene lattices
Equivalence Checking in Embedded Systems Design Verification
Graphic lambda calculus Introducing Anisotropic Minkowski Functionals and Quantitative
  Anisotropy Measures for Local Structure Analysis in Biomedical Imaging Application of Surface Coil for Nuclear Magnetic Resonance Studies of
  Semi-conducting Thin Films Two-Hop Connectivity to the Roadside in a VANET Under the Random
  Connection Model Q-Polynomial expansion for Brezin-Gross-Witten tau-function Representing subalgebras as retracts of finite subdirect powers Solutions sets to systems of equations in hyperbolic groups are EDT0L in
  PSPACE Effects of time-delay in a model of intra- and inter-personal motor
  coordination Does Link Prediction Help Detect Feature Interactions in Software
  Product Lines (SPLs)? Determination of Different Biological Factors on the Base of Dried Blood
  Spot Technology Bounds for partial derivatives: necessity of UMD and sharp constants On The Microscopic Modeling of Vehicular Traffic on General Networks Automatic Song Translation for Tonal Languages Implicit Regularization of Accelerated Methods in Hilbert Spaces Phase field modelling of fracture and fatigue in Shape Memory Alloys Disease processes as hybrid dynamical systems
cs.LO cs.FL