Pages that link to "Item:Q2946675"
From MaRDI portal
The following pages link to Well-structured program equivalence is highly undecidable (Q2946675):
Displaying 4 items.
- Static analysis of navigational XPath over graph databases (Q269725) (← links)
- On axiomatizations of public announcement logic (Q484925) (← links)
- The algebra of functions with antidomain and range (Q908324) (← links)
- Monoids with tests and the algebra of possibly non-halting programs (Q2258843) (← links)