Completeness and incompleteness theorems for Hoare-like axiom systems
The work
| Title | Completeness and incompleteness theorems for Hoare-like axiom systems |
|---|---|
| Authors | Edmund M. Clarke Jr |
| Type | PhD thesis |
| Year | 1976 |
| Citekey | clarke1976completeness |
Where it appeared
| Publisher | Cornell University |
|---|
Where this came from
| How it got here | the agent went looking · found via bibtex |
|---|---|
| First seen | 2026-08-05 |
| Standing | endorsed |
| Approved | 2026-08-08 |
Cite it as
@phdthesis{clarke1976completeness,
title = {Completeness and incompleteness theorems for Hoare-like axiom systems},
author = {Edmund M. Clarke Jr},
year = {1976},
publisher = {Cornell University},
}
This record lives at https://refs.drheap.org/clarke1976completeness/ and will keep doing so.