Temporal logics with “the next” operator
✍
L. L. Maksimova
📂
Article
📅
1992
🏛
SP MAIK Nauka/Interperiodica
🌐
English
⚖ 456 KB