Казанский (Приволжский) федеральный университет, КФУ
КАЗАНСКИЙ
ФЕДЕРАЛЬНЫЙ УНИВЕРСИТЕТ
 
COMPUTABLE COPIES OF DISTRIBUTIVE LATTICES WITH RELATIVE COMPLEMENTS AND LINEAR ORDERINGS
Форма представленияТезисы и материалы конференций в зарубежных журналах и сборниках
Год публикации2004
Языканглийский
  • Фролов Андрей Николаевич, автор
  • Библиографическое описание на языке оригинала A.N. Frolov, Computable copies of distributive lattices with relative complements and linear orderings // Proceedings of "Logic Colloquium" (Turin, Italy, 25-31 July), 2004.
    Аннотация Proceedings of "Logic Colloquium" (Turin, Italy, 25-31 July)
    Ключевые слова Computable presentations, distributive lattices with relative complements, linear orderings
    Название журнала Proceedings of "Logic Colloquium" (Turin, Italy, 25-31 July)
    Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на эту карточку https://repository.kpfu.ru/?p_id=106554

    Полная запись метаданных