All Stories

  1. Coordination sequences of periodic structures are rational via automata theory
  2. Axiomatizing Rectangular Grids with no Extra Non-unary Relations
  3. LOIS: syntax and semantics
  4. Computational Complexity on the Blackboard
  5. LOIS: syntax and semantics
  6. On the Variable Hierarchy of First-Order Spectra