Efficient loop-check for multimodal KD45n logic

Adomas  Birštunas

doi:10.15388/LMR.2007.24227

Straipsniai

Adomas Birštunas

Vilniaus universitetas

Publikuota 2021-06-14

https://doi.org/10.15388/LMR.2007.24227

PDF

Kaip cituoti

Birštunas, A. (2021) „Efektyvus ciklų radimas multimodalinei KD45n logikai“, Lietuvos matematikos rinkinys, 47(spec.), p. 351–355. doi:10.15388/LMR.2007.24227.

Atsisiųsti citatas

Anotacija

Darbe pateiktas sekvencinis skaičiavimas multimodaliniai logikai KD45_n, kuris naudoja efektyvų cikų radimo mechanizmą. Taip pat yra parodytas sekvencinio skaičiavimo αβ −KD45_n maksimalus išvedimo medžio aukštis ir sudėtingumas atminties atžvilgiu.

PDF

Nuorodos

Atsisiuntimai

Nėra atsisiuntimų.

Dažniausiai skaitomi to paties autoriaus (-ių) straipsniai

Adomas Birštunas, Elena Reivytytė, Loginio išvedimo paieška su prielaidų atsekamumu , Lietuvos matematikos rinkinys: T. 62 (2021): A serija
Adomas Birštunas, Apribojimai ciklų radimui sekvenciniame laiko logikos skaičiavime , Lietuvos matematikos rinkinys: T. 48 (2008)
Adomas Birštunas, Apribojimai ciklų radimui sekvenciniame laiko logikos skaičiavime su until operatoriumi , Lietuvos matematikos rinkinys: T. 50 (2009)
Kostas Ragauskas, Adomas Birštunas, Grupavimu paremtas tiesinės teiginių laiko logikos skaičiavimas , Lietuvos matematikos rinkinys: T. 65 (2024): A serija
Adomas Birštunas, Stanislovas Norgėla, Atvirkštinis metodas teiginių modalumo logikai S4 , Lietuvos matematikos rinkinys: T. 43 (2003)
Adomas Birstunas, Sekvencinio skaičiavimo panaudojimas BDI agentų realizavimui , Lietuvos matematikos rinkinys: T. 46 (2006)
Adomas Birštunas, Efektyvi sprendimo procedūra modaliniam operatoriui Belief , Lietuvos matematikos rinkinys: T. 45 (2005)
Lukas Maksimiak, Adomas Birštunas, Becikliai sekvenciniai skaičiavimai unariniam laiko logikos fragmentui , Lietuvos matematikos rinkinys: T. 66 (2025): A serija