Computability on linear orderings enriched with predicates

dc.contributor.author	Alaev P.
dc.contributor.author	Thurber J.
dc.contributor.author	Frolov A.
dc.date.accessioned	2018-09-18T20:01:12Z
dc.date.available	2018-09-18T20:01:12Z
dc.date.issued	2009
dc.identifier.issn	0002-5232
dc.identifier.uri	https://dspace.kpfu.ru/xmlui/handle/net/135792
dc.description.abstract	Let L be a quasidiscrete linear ordering. We specify some conditions for the existence of a computable presentation for L or for the structure (L, adj), where adj(x, y) is a predicate distinguishing adjacent elements. © 2009 Springer Science+Business Media, Inc.
dc.relation.ispartofseries	Algebra and Logic
dc.subject	Computability
dc.subject	Quasidiscrete linear ordering
dc.title	Computability on linear orderings enriched with predicates
dc.type	Article
dc.relation.ispartofseries-issue	5
dc.relation.ispartofseries-volume	48
dc.collection	Публикации сотрудников КФУ
dc.relation.startpage	313
dc.source.id	SCOPUS00025232-2009-48-5-SID70949097754

Файлы в этом документе

Имя: SCOPUS00025232-20 ...

Размер: 43.42Kb

Формат: PDF

Публикации сотрудников КФУ Scopus [24551]
Коллекция содержит публикации сотрудников Казанского федерального (до 2010 года Казанского государственного) университета, проиндексированные в БД Scopus, начиная с 1970г.