%0 Conference Paper %1 conf/dexa/GrecoMS96 %A Greco, Sergio %A Mateis, Cristinel %A Spadafora, Eugenio %B DEXA %D 1996 %E Wagner, Roland %E Thoma, Helmut %I Springer %K dblp %P 224-233 %T The Complexity of Weak Unification of Bounded Simple Set Terms. %U http://dblp.uni-trier.de/db/conf/dexa/dexa96.html#GrecoMS96 %V 1134 %@ 3-540-61656-X

@inproceedings{conf/dexa/GrecoMS96, added-at = {2020-10-25T00:00:00.000+0200}, author = {Greco, Sergio and Mateis, Cristinel and Spadafora, Eugenio}, biburl = {https://www.bibsonomy.org/bibtex/2a874b5ea19ddbe7d20aa1397855a34ed/dblp}, booktitle = {DEXA}, crossref = {conf/dexa/1996}, editor = {Wagner, Roland and Thoma, Helmut}, ee = {https://doi.org/10.1007/BFb0034683}, interhash = {387904b056d2188bb17ac8756dd648fa}, intrahash = {a874b5ea19ddbe7d20aa1397855a34ed}, isbn = {3-540-61656-X}, keywords = {dblp}, pages = {224-233}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T13:04:37.000+0200}, title = {The Complexity of Weak Unification of Bounded Simple Set Terms.}, url = {http://dblp.uni-trier.de/db/conf/dexa/dexa96.html#GrecoMS96}, volume = 1134, year = 1996 }