Pages that link to "Item:Q5055883"
From MaRDI portal
The following pages link to A simple abstract semantics for equational theories (Q5055883):
Displaying 7 items.
- A note on equational theories (Q2710602) (← links)
- An equational metalogic for monadic equational systems (Q2855643) (← links)
- (Q4494385) (← links)
- Theories with equational forking (Q4532618) (← links)
- A simple abstract semantics for equational theories (Q5055883) (← links)
- Just do it (Q5176957) (← links)
- Automated Deduction – CADE-19 (Q5900706) (← links)