[IEEE Comput. Sco. Press Sixth Annual IEEE Symposium on Logic in Computer Science - Amsterdam, Netherlands (15-18 July 1991)] [1991] Proceedings Sixth Annual IEEE Symposium on Logic in Computer Science - Unification and anti-unification in the calculus of constructions
Pfenning, F.Year:
1991
Language:
english
DOI:
10.1109/lics.1991.151632
File:
PDF, 924 KB
english, 1991