On the completeness of propositional Hoare logic
Year: 2001
Type: article
Source: Information Sciences
Authors: Dexter Kozen, Jerzy Tiuryn
Institutions: Cornell University, University of Warsaw
Language: English
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed
OpenAlex ID: W5111054