A symbolic functional description language

Gotaro Odawara, Jun Sato, Masahiro Tomita. A symbolic functional description language. In Patricia H. Lambert, Hillel Ofek, Lawrence A. O'Neill, Pat O. Pistilli, Paul Losleben, J. D. Nash, Dennis W. Shaklee, Bryan T. Preas, Harvey N. Lerman, editors, Proceedings of the 21st Design Automation Conference, DAC '84, Albuquerque, New Mexico, June 25-27, 1984. pages 73-80, ACM/IEEE, 1984. [doi]

Abstract

Abstract is missing.