The following pages link to (Q5287526):
Displayed 10 items.
- A new generic scheme for functional logic programming with constraints (Q880985) (← links)
- Graded consequence: an institution theoretic study (Q894661) (← links)
- Quantifier-free logic for nondeterministic theories (Q2369014) (← links)
- (Q2843608) (← links)
- Extra Variables Can Be Eliminated from Functional Logic Programs (Q2867956) (← links)
- A Fully Abstract Semantics for Constructor Systems (Q3636832) (← links)
- Quantifier-free logic for multialgebraic theories (Q4924535) (← links)
- Generated models and the ω-rule: The nondeterministic case (Q5096747) (← links)
- Rewriting and Call-Time Choice: The HO Case (Q5458434) (← links)
- Preservation in many-valued truth institutions (Q6083145) (← links)