A Kleene-Presburgerian Approach to Linear Production Systems

Jürgen Schäfer. A Kleene-Presburgerian Approach to Linear Production Systems. In Timo Lepistö, Arto Salomaa, editors, Automata, Languages and Programming, 15th International Colloquium, ICALP88, Tampere, Finland, July 11-15, 1988, Proceedings. Volume 317 of Lecture Notes in Computer Science, pages 525-534, Springer, 1988.

@inproceedings{Schafer88,
  title = {A Kleene-Presburgerian Approach to Linear Production Systems},
  author = {Jürgen Schäfer},
  year = {1988},
  tags = {systematic-approach},
  researchr = {https://researchr.org/publication/Schafer88},
  cites = {0},
  citedby = {0},
  pages = {525-534},
  booktitle = {Automata, Languages and Programming, 15th International Colloquium, ICALP88, Tampere, Finland, July 11-15, 1988, Proceedings},
  editor = {Timo Lepistö and Arto Salomaa},
  volume = {317},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-19488-6},
}