Skip to content

First-Order Logic Reducible Programs.

Ke Wang, Li-Yan Yuan

VenueA*ICDE
Year1991
ProceedingsICDE

Browse the full ICDE paper archive.