Journal or Publication Title:

Математические вопросы кибернетики и вычислительной техники=Կիբեռնետիկայի և հաշվողական տեխնիկայի մաթեմատիկական հարցեր=Mathematical problems of computer science

Date of publication:

2006

Volume:

27

ISSN:

0131-4645

Additional Information:

click here to follow the link

Title:

Decidable singular theories of two successor functions with an extra predicate

Other title:

Հետևեցման երկու ֆունկցիաներով և լրացուցիչ պրեդիկատով լուծելի սինգուլար տեսություններ; Разрешимые сингулярные теории с двумя функциями следования и с дополнительным предикатом

Creator:

L. P. Lisovik

Subject:

Mathematics

Uncontrolled Keywords:

Լիսովիկ Լ. Պ. ; Лисовик Л. П.

Coverage:

63-73

Publisher:

Изд-во НАН РА

Date created:

2006-10-10

Type:

Հոդված

Format:

pdf

Location of original object:

ՀՀ ԳԱԱ Հիմնարար գիտական գրադարան