Searching for "Inheritance of Proofs." – sorted by Relevance.
25 documents found, showing 1 through 10.
Next 10 →
-
Inheritance of Proofs
- …Inheritance of Proofs Martin Hofmann Wolfgang Naraschewski y Martin Steffen Terry Stroup…
- Cited by 5 (0 self) – Add To MetaCart
-
Inheritance Reasoning: Psychological Plausibility, Proof Theory and Semantics
- …Inheritance Reasoning: Psychological Plausibility, Proof Theory and Semantics Carl Vogel Doctor…
- Cited by 3 (2 self) – Add To MetaCart
-
Injectivity of Composite Functions
- … algorithms for this problem, the efficiency of which our algorithm inherits. The proof of correctness…
- Add To MetaCart
-
Injectivity of Composite Functions
- … algorithms for this problem, the e#ciency of which our algorithm inherits. The proof of correctness…
- Add To MetaCart
-
Human Reasoning with Negative Defaults
- … proof theories for default inheritance has demonstrated that some fundamental assumptions…
- Cited by 4 (1 self) – Add To MetaCart
-
Post’s functional completeness theorem
- … Being closed under T is upwards inherited. Proof: We suppose we are given a class of truth functions all…
- Cited by 1 (0 self) – Add To MetaCart
-
Subtyping and Inheritance for Inductive Types
- … co-inheritance actually corresponds to a form of proof reuse for induction proofs that is commonly…
- Cited by 2 (1 self) – Add To MetaCart
-
A Predicative Type-Theoretic Interpretation of Objects
- … of inheritance, the proof-theory shows how monotonicity is used to restrict proofs to cases with well…
- Cited by 5 (0 self) – Add To MetaCart
-
A real-time locking protocol
- … will execute at a higher priority level than the level that the preempted transactions can inherit. Proof…
- Cited by 77 (17 self) – Add To MetaCart
-
Rapid Demonstration of Linear Relations Connected by Boolean Operators
- … is "inherited" from the mode in which the underlying proof of knowledge is performed, and a further discussion…
- Cited by 21 (0 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
