Pages that link to "Item:Q1035705"
From MaRDI portal
The following pages link to Abstract interpretation of resolution-based semantics (Q1035705):
Displaying 5 items.
- A geometric interpretation of LD-resolution (Q596040) (← links)
- Grammar semantics, analysis and parsing by abstract interpretation (Q655410) (← links)
- An abstract interpretation framework to reason on finite failure and other properties of finite and infinite computations. (Q1853617) (← links)
- (Q3718128) (← links)
- Logic Based Program Synthesis and Transformation (Q5713938) (← links)