Žymėtas sekvencinis skaičiavimas propozicinei tiesinio laiko logikai
Straipsniai
Romas Alonderis
Vilnius University
Publikuota 2012-12-15
https://doi.org/10.15388/LMR.A.2012.01
PDF

Kaip cituoti

Alonderis R. (2012) „Žymėtas sekvencinis skaičiavimas propozicinei tiesinio laiko logikai“, Lietuvos matematikos rinkinys, 53(A), p. 1–6. doi: 10.15388/LMR.A.2012.01.

Santrauka



Darbe yra pateiktas žymėtas sekvencinis skaičiavimas propozicinei tiesinio laiko logikai. Įrodyta, kad šis skaičiavimas yra pilnas tam tikros nagrinėjamos logikos sekvencijų klasės atžvilgiu.

PDF
Kūrybinių bendrijų licencija

Š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.