Work

Regular approximation of computation paths in logic and functional languages

Year: 1996

Type: conference-paper

Source: Lecture notes in computer science

DOI: 10.1007/3-540-61580-6_7

Authors: John Gallagher, Laura Lafave

Institution: University of Bristol

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W1492471923

FWCI: 2.498

Cites: 24

Cited by: 34

Related to: 10