The following pages link to (Q4692506):
Displayed 5 items.
- From CML to its process algebra (Q672132) (← links)
- Derivation of logic programs by functional methods (Q1183419) (← links)
- Formalizing non-termination of recursive programs (Q1349246) (← links)
- Context-sensitive rewriting strategies (Q1854569) (← links)
- CoLab: A hybrid knowledge representation and compilation laboratory (Q1897397) (← links)