Pages that link to "Item:Q1306791"
From MaRDI portal
The following pages link to An existential fragment of second order logic (Q1306791):
Displaying 5 items.
- Verification of relational transducers for electronic commerce (Q1394796) (← links)
- Existential Fixed-Point Logic as a Fragment of Second-Order Logic (Q2947165) (← links)
- Existential second-order logic over strings (Q4406309) (← links)
- (Q5079746) (← links)
- Synthesising programs with non-trivial constants (Q6161231) (← links)