The bibliographic entry was discovered and compiled by a machine, and published without a person checking it against the publication. The publication itself is the authors' own work — this badge says nothing about it.
Towards a provably correct hardware implementation of occam
The work
| Authors | Jifeng He; Ian Page; Jonathan Peter Bowen |
|---|---|
| Editors | |
| Type | misc |
| Year | 1993 |
| Also known as | jifeng2005provably |
| Citekey | he1993towards |
Where it appeared
| Publisher | Springer Nature |
|---|---|
| Pages | 214--225 |
Identifiers
| DOI | 10.1007/bfb0021726 |
|---|---|
| OpenAlex | W1494289517 |
Access
| Landing page | https://doi.org/10.1007/bfb0021726 |
|---|---|
| Free full text | https://link.springer.com/content/pdf/10.1007%2FBFb0021726.pdf |
How it got here
| How it got here | agent via openalex |
|---|---|
| Added | 2026-10-24 18:25 UTC |
| Not denied by | a person 2026-10-29 17:12 UTC |
Cite it as
@misc{he1993towards,
title = {Towards a provably correct hardware implementation of occam},
author = {Jifeng He and Ian Page and Jonathan Peter Bowen},
year = {1993},
publisher = {Springer Nature},
pages = {214--225},
doi = {10.1007/bfb0021726},
}
This record lives at https://refs.drheap.org/he1993towards/ and will keep
doing so. It used to be called jifeng2005provably, and those addresses still resolve to this one.