Вы здесь

Unification in a Combination of Arbitrary Disjoint Equational Theories

Автор: 
Количество экземпляров: 
1
Колл. автор: 
Вид: 
Препринт
Год: 
1987
Ключевые слова: 
Стр.: 
43 p.
Библиография: 
Bibliogr.: p.39-43
Место издания: 
Номер: 
SR-87-16
Карточка: 

В2.11.

Schmidt-Schauss M..

Unification in a Combination of Arbitrary Disjoint Equational Theories-Kaiserslautern., 1987.-43 p.-(Препринт Univ. Kaiserslautern №SR-87-16).
Bibliogr.: p.39-43

Таблица в старой библиотеке: 
PREP2 505