Unification Theory 论文

2001Elsevier eBooks引用 217
Logic, programming, and type systemssemigroups and automata theoryAdvanced Combinatorial Mathematics