Pages that link to "Item:Q5256340"
From MaRDI portal
The following pages link to Localized Operational Termination in General Logics (Q5256340):
Displaying 4 items.
- Normal forms and normal theories in conditional rewriting (Q730473) (← links)
- José Meseguer: Scientist and Friend Extraordinaire (Q2945698) (← links)
- Modularity of Ontologies in an Arbitrary Institution (Q2945717) (← links)
- A local termination property for term rewriting systems (Q5055724) (← links)