The following pages link to (Q5875357):
Displaying 6 items.
- ILIGRA: an efficient inverse line graph algorithm (Q894425) (← links)
- (Q5021227) (← links)
- On the graph traversal method for evaluating linear binary-chain programs (Q5926750) (← links)
- Finding the right way to Rome: effect-oriented graph transformation (Q6535506) (← links)
- Mechanised DPO theory: uniqueness of derivations and Church-Rosser theorem (Q6535510) (← links)
- Causality in higher order process theories (Q6646307) (← links)