%0 Conference Paper %1 conf/rta/Senizergues93 %A Sénizergues, Géraud %B RTA %D 1993 %E Kirchner, Claude %I Springer %K dblp %P 434 %T Some Undecidable Termination Problems for Semi-Thue Systems (Abstract). %U http://dblp.uni-trier.de/db/conf/rta/rta93.html#Senizergues93 %V 690 %@ 3-540-56868-9

@inproceedings{conf/rta/Senizergues93, added-at = {2017-05-22T00:00:00.000+0200}, author = {Sénizergues, Géraud}, biburl = {https://www.bibsonomy.org/bibtex/2894e4b3a87b2d2d2b3b90d99158fcaed/dblp}, booktitle = {RTA}, crossref = {conf/rta/1993}, editor = {Kirchner, Claude}, ee = {https://doi.org/10.1007/978-3-662-21551-7_32}, interhash = {45131888677b0b47ff95a6c6a181e608}, intrahash = {894e4b3a87b2d2d2b3b90d99158fcaed}, isbn = {3-540-56868-9}, keywords = {dblp}, pages = 434, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T12:18:37.000+0200}, title = {Some Undecidable Termination Problems for Semi-Thue Systems (Abstract).}, url = {http://dblp.uni-trier.de/db/conf/rta/rta93.html#Senizergues93}, volume = 690, year = 1993 }