%0 Conference Paper %1 conf/lics/Comon90 %A Comon, Hubert %B LICS %D 1990 %I IEEE Computer Society %K %P 62-69 %T Solving Inequations in Term Algebras (Extended Abstract) %U http://dblp.uni-trier.de/db/conf/lics/lics90.html#Comon90 %@ 0-8186-2073-0

@inproceedings{conf/lics/Comon90, added-at = {2023-12-12T22:42:43.000+0100}, author = {Comon, Hubert}, biburl = {https://www.bibsonomy.org/bibtex/22c2c40de3f44df88371885e958a02229/admin}, booktitle = {LICS}, crossref = {conf/lics/1990}, ee = {http://doi.ieeecomputersociety.org/10.1109/LICS.1990.113734}, interhash = {4d3cfd4c088fe035529bd6a1196bc635}, intrahash = {2c2c40de3f44df88371885e958a02229}, isbn = {0-8186-2073-0}, keywords = {}, pages = {62-69}, publisher = {IEEE Computer Society}, timestamp = {2023-12-12T22:42:44.000+0100}, title = {Solving Inequations in Term Algebras (Extended Abstract)}, url = {http://dblp.uni-trier.de/db/conf/lics/lics90.html#Comon90}, year = 1990 }