On hoare logic and Kleene algebra with tests

Proceedings - Symposium on Logic in Computer Science

Volumn , Issue , 1999, Pages 167-172

  Kozen, Dexter ^a  

^a Department of Obstetrics Gynecology   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

BOOLEAN ALGEBRA; COMPUTATION THEORY; COMPUTATIONAL COMPLEXITY; COMPUTATIONAL LINGUISTICS; LOGIC PROGRAMMING;

HOARE LOGIC; KLEENE ALGEBRA WITH TESTS; PARTIAL CORRECTNESS ASSERTIONS; PROPOSITIONAL DYNAMIC LOGIC;

FORMAL LOGIC;

EID: 0032597528     PISSN: None     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (23)