Straipsnyje pateiktas korektiškas ir pilnas beciklis sekvencinis skaičiavimas minimaliai laiko logikai. Įrodymų baigtinumo tikrinimui naudojami indeksai ir žymės.
Šis kūrinys yra platinamas pagal Kūrybinių bendrijų Priskyrimas 4.0 tarptautinę licenciją.
Susipažinkite su autorių teisėmis žurnalo politikoje skiltyje Autorių teisės.