A compositional semantic basis for the analysis of equational Horn programs
Work
Year: 1996
Type: article
Source: Theoretical Computer Science
Institutions Universitat Politècnica de València, University of Udine
Cites: 45
Cited by: 10
Related to: 10
FWCI: 1.262
Citation percentile (by year/subfield): 75.52
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Open Access status: bronze