Pages that link to "Item:Q2703697"
From MaRDI portal
The following pages link to Modal logic for rewriting theories (Q2703697):
Displaying 7 items.
- Encoding modal logics in logical frameworks (Q1577344) (← links)
- Relaxed models for rewriting logic (Q1853590) (← links)
- Twenty years of rewriting logic (Q1931904) (← links)
- Towards behavioral Maude: behavioral membership equational logic (Q2842559) (← links)
- Proving modal properties of rewrite theories using Maude's metalevel (Q2850670) (← links)
- Modulated logics and flexible reasoning (Q3620397) (← links)
- (Q5104718) (← links)