%0 Conference Paper %1 conf/compsac/TsaiSL92 %A Tsai, Jeffrey J. P. %A Sheu, Ray-Yuan %A Li, Bing %B COMPSAC %D 1992 %I IEEE %K dblp %P 294-299 %T A framework of a logic-based transformation system. %U http://dblp.uni-trier.de/db/conf/compsac/compsac1992.html#TsaiSL92 %@ 0-8186-3000-0

@inproceedings{conf/compsac/TsaiSL92, added-at = {2017-05-21T00:00:00.000+0200}, author = {Tsai, Jeffrey J. P. and Sheu, Ray-Yuan and Li, Bing}, biburl = {https://www.bibsonomy.org/bibtex/22d59a0b9d64f9a19c6784463dc65a5b0/dblp}, booktitle = {COMPSAC}, crossref = {conf/compsac/1992}, ee = {https://doi.org/10.1109/CMPSAC.1992.217551}, interhash = {365843a3540124325f40ce9a4a43154a}, intrahash = {2d59a0b9d64f9a19c6784463dc65a5b0}, isbn = {0-8186-3000-0}, keywords = {dblp}, pages = {294-299}, publisher = {IEEE}, timestamp = {2019-10-17T20:10:56.000+0200}, title = {A framework of a logic-based transformation system.}, url = {http://dblp.uni-trier.de/db/conf/compsac/compsac1992.html#TsaiSL92}, year = 1992 }