Travelled to:
1 × Germany
Collaborated with:
∅
Talks about:
procedur (1) hierarch (1) complet (1) system (1) rewrit (1) condit (1)
Person: Wadoud Bousdira
DBLP: Bousdira:Wadoud
Contributed to:
Wrote 1 papers:
- ALP-1988-Bousdira #term rewriting
- A Completion Procedure for Hierarchical Conditional Rewriting Systems (WB), pp. 93–107.