Extending Elementary Formal Systems

Cite

Text

Lange et al. "Extending Elementary Formal Systems." International Conference on Algorithmic Learning Theory, 2001. doi:10.1007/3-540-45583-3_25

Markdown

[Lange et al. "Extending Elementary Formal Systems." International Conference on Algorithmic Learning Theory, 2001.](https://mlanthology.org/alt/2001/lange2001alt-extending/) doi:10.1007/3-540-45583-3_25

BibTeX

@inproceedings{lange2001alt-extending,
  title     = {{Extending Elementary Formal Systems}},
  author    = {Lange, Steffen and Grieser, Gunter and Jantke, Klaus P.},
  booktitle = {International Conference on Algorithmic Learning Theory},
  year      = {2001},
  pages     = {332-347},
  doi       = {10.1007/3-540-45583-3_25},
  url       = {https://mlanthology.org/alt/2001/lange2001alt-extending/}
}