Pages that link to "Item:Q751642"
From MaRDI portal
The following pages link to Inference rules using local contexts (Q751642):
Displaying 5 items.
- What holds in a context? (Q1312161) (← links)
- IMPS: An interactive mathematical proof system (Q1319391) (← links)
- IMPS: An updated system description (Q4647527) (← links)
- Local Confluence for Rules with Nested Application Conditions (Q4931325) (← links)
- Recent Trends in Algebraic Development Techniques (Q5900834) (← links)