Work

Conjunctive partial deduction: foundations, control, algorithms, and experiments

Year: 1999

Type: article

Source: The Journal of Logic Programming

DOI: 10.1016/s0743-1066(99)00030-8

Authors: Danny De Schreye, Robert Glück, Jesper Jørgensen, Michael Leuschel, Bern Martens, Morten Heine Sørensen

Institutions: KU Leuven, University of Copenhagen

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: bronze

Funders: University of Southampton, Electronics and Computer Science, University of Southampton

OpenAlex ID: W2056410280

FWCI: 15.23

Cites: 72

Cited by: 96

Related to: 10