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.












