Work

Sound and complete partial deduction with unfolding based on well-founded measures

Year: 1994

Type: article

Source: Theoretical Computer Science

DOI: 10.1016/0304-3975(94)90203-8

Authors: Bern Martens, Danny De Schreye, Tamás Horváth

Institution: KU Leuven

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: bronze

Funder: Fonds De La Recherche Scientifique - FNRS

OpenAlex ID: W1512183835

FWCI: 6.436

Cites: 31

Cited by: 31

Related to: 10