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 -
herald of tver state university series applied mathematics
Language(s) - English
Resource type - Journals
ISSN - 1995-0136
DOI - 10.26456/vtpmk24
Subject(s) - successor cardinal , decidability , mathematics , operator (biology) , function (biology) , discrete mathematics , point (geometry) , fixed point theorem , fixed point , combinatorics , mathematical analysis , biochemistry , chemistry , geometry , repressor , evolutionary biology , biology , transcription factor , gene
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom