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

Margus Veanes

Details

Publication typeInproceedings
Published inProc. 10th International Workshop on Unification (UNIF'96)
Pages7-15
NumberCIS-Bericht-96-91
InstitutionMunich University
> Publications > Uniform representation of recursively enumerable sets with simultaneous rigid E-unification (extended abstract)