VOLUME 23 2018 NUMBERS 1–3

Symbolic Manipulation of Code Properties
Stavros Konstantinidis, Casey Meijer, Nelma Moreira, Rogério Reis
Pages 243–269





Download Abstract
Fulltext is accessible with your personal account
ShowHide BibTeX
BibTeX:
@article{JALC-2018-243,
  author  = {Stavros Konstantinidis and Casey Meijer and Nelma Moreira and Rog{\'{e}}rio Reis},
  title   = {Symbolic Manipulation of Code Properties},
  journal = {Journal of Automata, Languages and Combinatorics},
  volume  = {23},
  number  = {1--3},
  pages   = {243--269},
  year    = {2018},
  url     = {https://doi.org/10.25596/jalc-2018-243},
  doi     = {10.25596/jalc-2018-243}
}
If you would like to see an embedded preview, try to select preview as the action for Portable Document Format (PDF) in your brower settings.
Keywords: algorithms, automata, codes, FAdo, implementation, independence, LaSer, maximal, regular languages, transducers, program generation
DOI: 10.25596/jalc-2018-243