Works matching IS 13670751 AND DT 2003 AND VI 11 AND IP 3
Results: 4
Epsilon Substitution Method for Δ11 − CR: a Constructive Termination Proof.
- Published in:
- Logic Journal of the IGPL, 2003, v. 11, n. 3, p. 367, doi. 10.1093/jigpal/11.3.367
- By:
- Publication type:
- Article
An Analysis of Total Correctness Refinement Models for Partial Relation Semantics II.
- Published in:
- Logic Journal of the IGPL, 2003, v. 11, n. 3, p. 319, doi. 10.1093/jigpal/11.3.319
- By:
- Publication type:
- Article
An Analysis of Total Correctness Refinement Models for Partial Relation Semantics I.
- Published in:
- Logic Journal of the IGPL, 2003, v. 11, n. 3, p. 285, doi. 10.1093/jigpal/11.3.285
- By:
- Publication type:
- Article
Probabilistic Entailment and a Non-Probabilistic Logic.
- Published in:
- Logic Journal of the IGPL, 2003, v. 11, n. 3, p. 353, doi. 10.1093/jigpal/11.3.353
- By:
- Publication type:
- Article