Pages that link to "Item:Q4023582"
From MaRDI portal
The following pages link to Deduction and Declarative Programming (Q4023582):
Displaying 9 items.
- Variable declarations in natural deduction (Q861825) (← links)
- Test sets for the universal and existential closure of regular tree languages. (Q1400712) (← links)
- An upper bound on the derivational complexity of Knuth-Bendix orderings. (Q1401942) (← links)
- Swinging types=functions+relations+transition systems (Q1575635) (← links)
- Declarative programming: a logical view (Q2841254) (← links)
- Expander2: program verification between interaction and automation (Q2873787) (← links)
- (Q4874575) (← links)
- Generic induction proofs (Q5881185) (← links)
- A general framework to build contextual cover set induction provers (Q5950934) (← links)