%0 Conference Paper %1 conf/ifip/Culik62 %A Culík, Karel %B IFIP Congress %D 1962 %I North-Holland %K dblp %P 313-317 %T On Some Axiomatic Systems for Formal Grammars and Languages. %U http://dblp.uni-trier.de/db/conf/ifip/ifip1962.html#Culik62

@inproceedings{conf/ifip/Culik62, added-at = {2019-07-26T00:00:00.000+0200}, author = {Culík, Karel}, biburl = {https://www.bibsonomy.org/bibtex/22762462aff239491934073e686d55b24/dblp}, booktitle = {IFIP Congress}, crossref = {conf/ifip/1962}, interhash = {1c70eeeb297c2ce6e6e1b6a2c6e5e4b8}, intrahash = {2762462aff239491934073e686d55b24}, keywords = {dblp}, pages = {313-317}, publisher = {North-Holland}, timestamp = {2019-07-27T11:38:08.000+0200}, title = {On Some Axiomatic Systems for Formal Grammars and Languages.}, url = {http://dblp.uni-trier.de/db/conf/ifip/ifip1962.html#Culik62}, year = 1962 }