OpenAlex
Some general incompleteness results for partial correctness logics
Work
Year: 1988
Type: article
Source: Information and Computation
Authors M.Teresa Hortalá-González, Paqui Lucio, Mario Rodíguez-Artalejo
Institutions Universidad Complutense de Madrid, University of the Basque Country
Cites: 32
Cited by: 1
Related to: 10
FWCI: 0.433
Citation percentile (by year/subfield): 43.42
Topic: Logic, programming, and type systems
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed