Regular approximations applied to the specialisation of a proof procedure

DA De Waal, JP Gallagher

Research output: Working paperWorking paper and Preprints

Translated title of the contributionRegular approximations applied to the specialisation of a proof procedure
Original languageEnglish
PublisherUniversity of Bristol
Number of pages16
Publication statusPublished - 1992

Bibliographical note

Other: # CSTR-92-19

Cite this