%0 Conference Paper %1 conf/automata/KriegelM75 %A Kriegel, Hans-Peter %A Maurer, Hermann A. %B Automata Theory and Formal Languages %D 1975 %E Barkhage, H. %I Springer %K dblp %P 233-238 %T Formal translations and the containment problem for Szilard languages. %U http://dblp.uni-trier.de/db/conf/automata/automata1975.html#KriegelM75 %V 33 %@ 3-540-07407-4

@inproceedings{conf/automata/KriegelM75, added-at = {2017-05-19T00:00:00.000+0200}, author = {Kriegel, Hans-Peter and Maurer, Hermann A.}, biburl = {https://www.bibsonomy.org/bibtex/2c4caeccc1d7f026f903e4a0b6f2610b7/dblp}, booktitle = {Automata Theory and Formal Languages}, crossref = {conf/automata/1975}, editor = {Barkhage, H.}, ee = {https://doi.org/10.1007/3-540-07407-4_25}, interhash = {d5b51e134fbe7f714717a2b88a17a9f7}, intrahash = {c4caeccc1d7f026f903e4a0b6f2610b7}, isbn = {3-540-07407-4}, keywords = {dblp}, pages = {233-238}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T14:31:13.000+0200}, title = {Formal translations and the containment problem for Szilard languages.}, url = {http://dblp.uni-trier.de/db/conf/automata/automata1975.html#KriegelM75}, volume = 33, year = 1975 }