An Extension Of The Acid Rain Theorem (1996)

Cached

Download Links

by Zhenjiang Hu , Hideya Iwasaki , Masato Takeichi
Venue:In T Ida, A Ohori, and M Takeichi, eds, Proceedings 2nd Fuji Int Workshop on Functional and Logic Programming, Shonan Village
Citations:4 - 2 self

Document Versions

An Extension Of The Acid Rain Theorem –Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi — 1996 — In T Ida, A Ohori, and M Takeichi, eds, Proceedings 2nd Fuji Int Workshop on Functional and Logic Programming, Shonan Village