Regular Approximation of Computation Paths in Logic and Functional Languages

Research output: Working paper

Translated title of the contribution	Regular Approximation of Computation Paths in Logic and Functional Languages
Original language	English
Publisher	University of Bristol
Number of pages	23
Publication status	Published - 1996

Other: CSTR-96-001

Access to Document

@techreport{ad61c3b5ca6e449d9afa8498b92e214a,

title = "Regular Approximation of Computation Paths in Logic and Functional Languages",

author = "John Gallagher and Laura Lafave",

note = "Other: CSTR-96-001",

year = "1996",

language = "English",

publisher = "University of Bristol",

address = "United Kingdom",

type = "WorkingPaper",

institution = "University of Bristol",

}