BibTeX
@inproceedings{DBLP:conf/asian/ByunKS96,
author = {Sugwoo Byun and
Richard Kennaway and
M. Ronan Sleep},
title = {Lambda-Definable Term rewriting Systems},
booktitle = {ASIAN},
year = {1996},
pages = {106-115},
crossref = {DBLP:conf/asian/1996},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/asian/1996,
editor = {Joxan Jaffar and
Roland H. C. Yap},
title = {Concurrency and Parallelism, Programming, Networking, and
Security: Second Asian Computing Science Conference, ASIAN
'96, Singapore, December 2-5, 1996, Proceedings},
booktitle = {ASIAN},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {1179},
year = {1996},
isbn = {3-540-62031-1},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Copyright © 2002-01-03 by Michael Ley (ley@uni-trier.de)