Translated title of the contribution | Regular Approximation of Computation Paths in Logic and Functional Languages |
---|---|

Original language | English |

Title of host publication | Unknown |

Publisher | Springer |

Pages | 1 - 16 |

Number of pages | 15 |

Publication status | Published - 1996 |

# Regular Approximation of Computation Paths in Logic and Functional Languages

J P Gallagher, L Lafave

Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)

23
Citations
(Scopus)