Pages that link to "Item:Q1318282"
From MaRDI portal
The following pages link to The completeness of functional logic (Q1318282):
Displaying 13 items.
- Functional completeness in iterative meta-algebras (Q1280934) (← links)
- A functional logic for higher level reasoning about computation (Q1318281) (← links)
- The completeness of functional logic (Q1318282) (← links)
- On denotational completeness (Q1575869) (← links)
- Theory of completeness for logical spaces (Q1931338) (← links)
- Criteria of functional completeness for meta-algebras without assignments of logical constants (Q1974307) (← links)
- Relative completeness for logics of functional programs (Q2915704) (← links)
- (Q3331149) (← links)
- On the Meaning of Logical Completeness (Q3637186) (← links)
- Tarskian Structured Consequence Relations and Functional Completeness (Q4323834) (← links)
- (Q5465434) (← links)
- (Q5688811) (← links)
- Deductive Completeness (Q5689262) (← links)