The Calculus of Computation¶

Bradley, A. R., & Manna, Z. (2007). The Calculus of Computation: Decision Procedures with Applications to Verification. Springer.

Type: Book
Intellectual base: Review or monograph
Year: 2007
DOI: 10.1007/978-3-540-74113-8
ISBN: 9783540741121
DOI registrant: Springer Nature
Link: https://doi.org/10.1007/978-3-540-74113-8

Cited by¶

2 citations across 2 artifacts.

Domain-specific¶

Equisatisfiability
- It preserves the answer to an existence question while allowing almost everything else about the formulas to change: syntax, vocabulary, number of variables, truth value under a particular assignment, and even the sets of models can differ.
Fragment (logic)
- A logical fragment is the set of well-formed formulas obtained by restricting the syntax of a larger logic while retaining the same interpretation for the constructions that remain.

Verification¶

Does it exist? Confirmed. This work's DOI resolves to a registered record, which fixes its identity. That is all it fixes.

Does it back the claim? Not recorded. Neither this nor any other of the 2 citations of this work carries a recorded support check.

Support is checked per citation rather than per work — the same source can be cited soundly in one article and wrongly in another. Per-citation recording began recently, so a citation with no recorded check is a gap in the record rather than evidence it went unchecked.

See how references were verified.

Registry ID ref:0a0e81fc775f · see in the full table