Pages that link to "Item:Q5606281"
From MaRDI portal
The following pages link to Formalization of Properties of Functional Programs (Q5606281):
Displaying 17 items.
- Computation of equilibria in noncooperative games (Q815274) (← links)
- Verifying programs by induction on their data structure: general format and applications (Q1050765) (← links)
- A multiprocess network logic with temporal and spatial modalities (Q1058846) (← links)
- The \(\mu\)-calculus as an assertion-language for fairness arguments (Q1124314) (← links)
- Formalization of equivalence of recursively defined functions (Q1144373) (← links)
- Formalization of properties of nondeterministic recursive definitions (Q1148668) (← links)
- Nondeterministic flowchart programs with recursive procedures: Semantics and correctness. II (Q1152704) (← links)
- Programs as partial graphs. I: Flow equivalence and correctness (Q1168723) (← links)
- Resolution for some first-order modal systems (Q1178699) (← links)
- Reasoning about programs (Q1212353) (← links)
- Proving assertions about parallel programs (Q1215264) (← links)
- On the completeness of the inductive assertion method (Q1236426) (← links)
- Program invariants as fixedpoints (Q1254848) (← links)
- Automatic synthesis of logical models for order-sorted first-order theories (Q1655487) (← links)
- Alternative semantics for temporal logics (Q2265815) (← links)
- The correctness of nondeterministic programs (Q2541847) (← links)
- Mathematical theory of partial correctness (Q2545842) (← links)
