%0 Conference Paper %1 conf/rta/LimetR98 %A Limet, Sébastien %A Réty, Pierre %B RTA %D 1998 %E Nipkow, Tobias %I Springer %K dblp %P 121-135 %T Solving Disequations Modulo Some Class of Rewrite Systems. %U http://dblp.uni-trier.de/db/conf/rta/rta98.html#LimetR98 %V 1379 %@ 3-540-64301-X

@inproceedings{conf/rta/LimetR98, added-at = {2017-05-23T00:00:00.000+0200}, author = {Limet, Sébastien and Réty, Pierre}, biburl = {https://www.bibsonomy.org/bibtex/2920ee673da0346e38b7fc4c65af15758/dblp}, booktitle = {RTA}, crossref = {conf/rta/1998}, editor = {Nipkow, Tobias}, ee = {https://doi.org/10.1007/BFb0052365}, interhash = {5d6232a99a84e8cd8c0bb529dc3b60c6}, intrahash = {920ee673da0346e38b7fc4c65af15758}, isbn = {3-540-64301-X}, keywords = {dblp}, pages = {121-135}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2020-09-09T13:52:19.000+0200}, title = {Solving Disequations Modulo Some Class of Rewrite Systems.}, url = {http://dblp.uni-trier.de/db/conf/rta/rta98.html#LimetR98}, volume = 1379, year = 1998 }