Regular Approximation of Computation Paths in Logic and Functional Languages

John Gallagher, Laura Lafave

Research output: Working paperWorking paper and Preprints

Translated title of the contributionRegular Approximation of Computation Paths in Logic and Functional Languages
Original languageEnglish
PublisherUniversity of Bristol
Number of pages23
Publication statusPublished - 1996

Bibliographical note

Other: CSTR-96-001

Cite this