LSE creators

Number of items: 1.
2017
  • Atminas, Aistis, Lozin, Vadim, Moshkov, Mikhail (2017). WQO is decidable for factorial languages. Information and Computation, https://doi.org/10.1016/j.ic.2017.08.001