Trending
AutStr 2.0 — Uniformly Automatic Classes and Linear-Time Algorithm Synthesis
A major rewrite of AutStr — a 10²–10³× faster automata core, uniformly automatic classes for whole families of finite structures, and MSO queries that compile into provably …
