03 Mathematical logic and foundations
03Bxx General logic (1 articles)
03B44 Temporal logic (1 articles)
- : Restricted ideals and the groupability property. Tools for temporal reasoning. (English). Kybernetika, vol. 39 (2003), issue 5, pp. [521]-546
Search
Partner of
