%0 Conference Paper %1 conf/rta/DegtyarevGNVV98 %A Degtyarev, Anatoli %A Gurevich, Yuri %A Narendran, Paliath %A Veanes, Margus %A Voronkov, Andrei %B RTA %D 1998 %E Nipkow, Tobias %I Springer %K dblp %P 181-195 %T The Decidability of Simultaneous Rigid E-Unification with One Variable. %U http://dblp.uni-trier.de/db/conf/rta/rta98.html#DegtyarevGNVV98 %V 1379 %@ 3-540-64301-X

@inproceedings{conf/rta/DegtyarevGNVV98, added-at = {2017-05-22T00:00:00.000+0200}, author = {Degtyarev, Anatoli and Gurevich, Yuri and Narendran, Paliath and Veanes, Margus and Voronkov, Andrei}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2e14adfbd575ae02dabc5430956dcda24/dblp}, booktitle = {RTA}, crossref = {conf/rta/1998}, editor = {Nipkow, Tobias}, ee = {https://doi.org/10.1007/BFb0052370}, interhash = {0613463c957dcf6f971b4bb422e2ab48}, intrahash = {e14adfbd575ae02dabc5430956dcda24}, isbn = {3-540-64301-X}, keywords = {dblp}, pages = {181-195}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T17:30:36.000+0200}, title = {The Decidability of Simultaneous Rigid E-Unification with One Variable.}, url = {http://dblp.uni-trier.de/db/conf/rta/rta98.html#DegtyarevGNVV98}, volume = 1379, year = 1998 }