Work

On Hoare logic and Kleene algebra with tests

Year: 2003

Type: conference-paper

DOI: 10.1109/lics.1999.782610

Author: D. Kozen

Institution: Cornell University

Language: English

Topic: Logic, programming, and type systems

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

Funder: National Science Foundation

OpenAlex ID: W2109517606

FWCI: 1.469

Cites: 24

Cited by: 16

Related to: 10