Uniform representation of recursively enumerable sets with simultaneous rigid E-unification (extended abstract)

In  Proc. 10th International Workshop on Unification (UNIF'96)

Details

TypeInproceedings
Pages7-15
NumberCIS-Bericht-96-91
InstitutionMunich University
> Publications > Uniform representation of recursively enumerable sets with simultaneous rigid E-unification (extended abstract)