The following pages link to (Q5287526):
Displaying 17 items.
- A new generic scheme for functional logic programming with constraints (Q880985) (← links)
- Graded consequence: an institution theoretic study (Q894661) (← links)
- While-programs with nondeterministic assignments and the logic ALNA (Q1082808) (← links)
- Reasoning with first order nondeterministic specifications (Q1806174) (← links)
- A functorial semantics for multi-algebras and partial algebras, with applications to syntax. (Q1853456) (← links)
- Quantifier-free logic for nondeterministic theories (Q2369014) (← links)
- Applying ELAN strategies in simulating processors over simple architectures (Q2843608) (← links)
- Inequational deduction as term graph rewriting (Q2843931) (← links)
- Extra variables can be eliminated from functional logic programs (Q2867956) (← links)
- A Fully Abstract Semantics for Constructor Systems (Q3636832) (← links)
- Algebraic laws for nondeterminism and concurrency (Q3766826) (← links)
- Nondeterministic algebraic specifications and nonconfluent term rewriting (Q3992231) (← links)
- (Q4029613) (← 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)
