 |
| Subject | Russian | English |
| progr. | линейная темпоральная логика | LTL (ssn) |
| progr. | линейная темпоральная логика | linear temporal logic (сокр. LTL ssn) |
| progr. | темпоральная логика линейного времени | linear temporal logic (сокр. LTL ssn) |
| progr. | темпоральная логика линейного времени | LTL (ssn) |