| Title |
Decision procedure for first-order linear temporal logic with semi-periodic kernels |
| Translation of Title |
Išsprendžiamoji procedūra kvantorinės tiesinio laiko logikos fragmentui su pusiau-periodiniais branduoliais. |
| Authors |
Pliuškevičius, Regimantas |
| DOI |
10.15388/LMR.2002.32981 |
| Full Text |
|
| Is Part of |
Lietuvos matematikos rinkinys, T.42, spec. nr.: Lietuvos matematikų draugijos XLIII konferencijos mokslo darbai.. Vilnius. 2002, t. 42, spec. nr., p. 481-489.. ISSN 0132-2818. eISSN 2335-898X |
| Published |
Vilnius |
| Type |
Journal article |
| Language |
English |
| Publication date |
2002 |
| CC license |
|
