Pages that link to "Item:Q1607227"
From MaRDI portal
The following pages link to Observational proofs by rewriting. (Q1607227):
Displaying 8 items.
- Behavioral equivalence of hidden \(k\)-logics: an abstract algebraic approach (Q301373) (← links)
- Mechanically certifying formula-based Noetherian induction reasoning (Q507366) (← links)
- Formal design and verification of operational transformation algorithms for copies convergence (Q820129) (← links)
- Closure properties for the class of behavioral models (Q2373706) (← links)
- Towards Behavioral Maude (Q2842559) (← links)
- A short overview of Hidden Logic (Q4586416) (← links)
- Observational Refinement Process (Q5403465) (← links)
- Behavioural reasoning for conditional equations (Q5430141) (← links)
