%0 Journal Article %1 journals/tcs/LangeGJ03 %A Lange, Steffen %A Grieser, Gunter %A Jantke, Klaus P. %D 2003 %J Theor. Comput. Sci. %K %N 1 %P 51-70 %T Advanced elementary formal systems. %U http://dblp.uni-trier.de/db/journals/tcs/tcs298.html#LangeGJ03 %V 298

@article{journals/tcs/LangeGJ03, added-at = {2023-12-12T20:12:21.000+0100}, author = {Lange, Steffen and Grieser, Gunter and Jantke, Klaus P.}, biburl = {https://www.bibsonomy.org/bibtex/2b867b483c933e7552608de2f661fd8f5/admin}, ee = {https://doi.org/10.1016/S0304-3975(02)00418-8}, interhash = {2bfc75522f9b02363406f584d37f7b6f}, intrahash = {b867b483c933e7552608de2f661fd8f5}, journal = {Theor. Comput. Sci.}, keywords = {}, number = 1, pages = {51-70}, timestamp = {2023-12-12T20:12:21.000+0100}, title = {Advanced elementary formal systems.}, url = {http://dblp.uni-trier.de/db/journals/tcs/tcs298.html#LangeGJ03}, volume = 298, year = 2003 }