Open AccessOn the lower bondary for time complexity of a decidability problem of a theory of integers with a successor function and the least fixed point operator
Author(s) -
Alexander Zolotov
Publication year - 2016
Publication title -
vestnik tverskogo gosudarstvennogo universiteta. seriâ prikladnaâ matematika
Language(s) - English
Resource type - Journals
ISSN - 1995-0136
DOI - 10.26456/vtpmk24
Subject(s) - successor cardinal , decidability , mathematics , operator (biology) , function (biology) , fixed point , fixed point theorem , point (geometry) , discrete mathematics , time complexity , computer science , combinatorics , mathematical analysis , biochemistry , chemistry , geometry , repressor , evolutionary biology , biology , transcription factor , gene