НАН РА. Математические вопросы кибернетики и вычислительной техники=Mathematical problems of computer science

Decidable singular theories of two successor functions with an extra predicate

Lisovik, L. P. (2006) Decidable singular theories of two successor functions with an extra predicate. Математические вопросы кибернетики и вычислительной техники, № 27. pp. 63-73. ISSN 0131-4645

[img] PDF
Download (1008Kb)
    Item Type: Article
    Additional Information: Հետևեցման երկու ֆունկցիաներով և լրացուցիչ պրեդիկատով լուծելի սինգուլար տեսություններ։ Разрешимые сингулярные теории с двумя функциями следования и с дополнительным предикатом.
    Uncontrolled Keywords: Լիսովիկ Լ. Պ., Лисовик Л. П.
    Subjects: Q Science > QA Mathematics
    Divisions: UNSPECIFIED
    Depositing User: FSL Bibl. Dept.
    Date Deposited: 29 May 2014 15:17
    Last Modified: 13 Oct 2014 12:05
    URI: http://compsci.asj-oa.am/id/eprint/563

    Actions (login required)

    View Item