The following pages link to (Q4844168):
Displayed 11 items.
- Reflection in membership equational logic, many-sorted equational logic, Horn logic with equality, and rewriting logic (Q875516) (← links)
- A semantics for modular general logic programs (Q1274967) (← links)
- Functional-logic integration via minimal reciprocal extensions (Q1275622) (← links)
- Bounded quantifications for iteration and concurrency in logic programming (Q1326573) (← links)
- Reflection in conditional rewriting logic (Q1608918) (← links)
- Agenda control for heterogeneous reasoners (Q1764797) (← links)
- Formative processes with applications to the decision problem in set theory. I: Powerset and singleton operators (Q1854500) (← links)
- (Q4499257) (← links)
- Towards Typed Prolog (Q5504693) (← links)
- \(\exists\)-Universal termination of logic programs (Q5940923) (← links)
- Reasoning about nonlinear system identification (Q5958395) (← links)