Skip to content

A symbolic functional description language.

Gotaro Odawara, Jun Sato, Masahiro Tomita

VenueA*DAC
Year1984
ProceedingsDAC

Browse the full DAC paper archive.