%0 Conference Paper %1 conf/fgcs/DershowitzO88 %A Dershowitz, Nachum %A Okada, Mitsuhiro %B FGCS %D 1988 %I OHMSHA Ltd. Tokyo and Springer-Verlag %K dblp %P 337-346 %T Conditional Equational Programming and the Theory of Conditional Term Rewriting. %U http://dblp.uni-trier.de/db/conf/fgcs/fgcs88.html#DershowitzO88 %@ 0-387-19558-0

@inproceedings{conf/fgcs/DershowitzO88, added-at = {2019-07-31T00:00:00.000+0200}, author = {Dershowitz, Nachum and Okada, Mitsuhiro}, biburl = {https://www.bibsonomy.org/bibtex/234f4605b06c8bd097bdf5529dd5d4f2c/dblp}, booktitle = {FGCS}, crossref = {conf/fgcs/1988}, interhash = {8cd2d69533b819a185592e5e7ac44c5e}, intrahash = {34f4605b06c8bd097bdf5529dd5d4f2c}, isbn = {0-387-19558-0}, keywords = {dblp}, pages = {337-346}, publisher = {OHMSHA Ltd. Tokyo and Springer-Verlag}, timestamp = {2019-08-06T11:39:35.000+0200}, title = {Conditional Equational Programming and the Theory of Conditional Term Rewriting.}, url = {http://dblp.uni-trier.de/db/conf/fgcs/fgcs88.html#DershowitzO88}, year = 1988 }