Showing 1 - 1 results of 1 for search '(("based computational and computing program") OR ("based computation the example program"))~', query time: 1.37s Refine Results
1
... C, which is formalised to be sound and complete. The rule-based nominal unification algorithm outputs...
Access document
Doctoral thesis
Export CSV Export RIS