Work

Equivalent logic programs

Year: 1990

Type: article

Source: The Journal of Logic Programming

DOI: 10.1016/0743-1066(90)90022-w

Author: Chan Kwok Hung

Institution: National University of Singapore

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: bronze

OpenAlex ID: W2010333114

FWCI: 0.548

Cites: 17

Cited by: 3

Related to: 10