Cheap Tupling in Calculational Form.


https://doi.org/10.1007/3-540-61756-6_105
@inproceedings{DBLP:conf/plilp/HuIT96, author = {Zhenjiang Hu and Hideya Iwasaki and Masato Takeichi}, editor = {Herbert Kuchen and S. Doaitse Swierstra}, title = {Cheap Tupling in Calculational Form}, booktitle = {Programming Languages: Implementations, Logics, and Programs, 8th International Symposium, PLILP'96, Aachen, Germany, September 24-27, 1996, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1140}, pages = {471--472}, publisher = {Springer}, year = {1996}, url = {https://doi.org/10.1007/3-540-61756-6\_105}, doi = {10.1007/3-540-61756-6\_105}, timestamp = {Tue, 14 May 2019 10:00:36 +0200}, biburl = {https://dblp.org/rec/conf/plilp/HuIT96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }

本页面没有标签
本页面最近更新:2020/05/21更新历史
发现错误?想一起完善? 在 GitHub 上编辑此页!
本页面的全部内容在 CC BY-SA 4.0 SATA 协议之条款下提供,附加条款亦可能应用

Copyright © 2016 - 2020 PKU Scholar

最近更新: 52aade4, 2020-05-21