%0 Conference Paper %1 conf/stacs/Ganzinger87 %A Ganzinger, Harald %B STACS %D 1987 %E Brandenburg, Franz-Josef %E Vidal-Naquet, Guy %E Wirsing, Martin %I Springer %K dblp %P 286-298 %T Ground Term Confluence in Parametric Conditional Equational Specifications. %U http://dblp.uni-trier.de/db/conf/stacs/stacs87.html#Ganzinger87 %V 247 %@ 3-540-17219-X

@inproceedings{conf/stacs/Ganzinger87, added-at = {2017-05-19T00:00:00.000+0200}, author = {Ganzinger, Harald}, biburl = {https://www.bibsonomy.org/bibtex/2f6cf096bb3ebd2ad3ad44a81c5159e7e/dblp}, booktitle = {STACS}, crossref = {conf/stacs/1987}, editor = {Brandenburg, Franz-Josef and Vidal-Naquet, Guy and Wirsing, Martin}, ee = {https://doi.org/10.1007/BFb0039613}, interhash = {4b9e65d7669be46dde8d2e2a662c4854}, intrahash = {f6cf096bb3ebd2ad3ad44a81c5159e7e}, isbn = {3-540-17219-X}, keywords = {dblp}, pages = {286-298}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T15:24:44.000+0200}, title = {Ground Term Confluence in Parametric Conditional Equational Specifications.}, url = {http://dblp.uni-trier.de/db/conf/stacs/stacs87.html#Ganzinger87}, volume = 247, year = 1987 }