Pages that link to "Item:Q2787335"
From MaRDI portal
The following pages link to An Institutional Foundation for the $$\mathbb {K}$$K Semantic Framework (Q2787335):
Displaying 4 items.
- A language-independent proof system for full program equivalence (Q510898) (← links)
- From Rewriting Logic, to Programming Language Semantics, to Program Verification (Q2945730) (← links)
- Implicit Kripke semantics and ultraproducts in stratified institutions (Q3133175) (← links)
- Matching µ-logic: Foundation of K framework (Q5875341) (← links)