Y. Onoue, Z. Hu, H. Iwasaki, and M. Takeichi. Algorithmic Languages and Calculi, volume 95 of IFIP Conference Proceedings, page 76-106. Chapman & Hall, (1997)
Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 conf/alc/OnoueHIT97
%A Onoue, Yoshiyuki
%A Hu, Zhenjiang
%A Iwasaki, Hideya
%A Takeichi, Masato
%B Algorithmic Languages and Calculi
%D 1997
%E Bird, Richard S.
%E Meertens, Lambert G. L. T.
%I Chapman & Hall
%K dblp
%P 76-106
%T A calculational fusion system HYLO.
%U http://dblp.uni-trier.de/db/conf/alc/alc1997.html#OnoueHIT97
%V 95
%@ 0-412-82050-1
@inproceedings{conf/alc/OnoueHIT97,
added-at = {2002-01-03T00:00:00.000+0100},
author = {Onoue, Yoshiyuki and Hu, Zhenjiang and Iwasaki, Hideya and Takeichi, Masato},
biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2bc0ae0ae9f50ec4572615972c03386a6/dblp},
booktitle = {Algorithmic Languages and Calculi},
crossref = {conf/alc/1997},
editor = {Bird, Richard S. and Meertens, Lambert G. L. T.},
interhash = {e035eddc37c917db6f9c93300982c8e0},
intrahash = {bc0ae0ae9f50ec4572615972c03386a6},
isbn = {0-412-82050-1},
keywords = {dblp},
pages = {76-106},
publisher = {Chapman & Hall},
series = {IFIP Conference Proceedings},
timestamp = {2016-02-02T14:21:14.000+0100},
title = {A calculational fusion system HYLO.},
url = {http://dblp.uni-trier.de/db/conf/alc/alc1997.html#OnoueHIT97},
volume = 95,
year = 1997
}
