- On the decidability of elementary modal logics
Opis
- Tytuł: On the decidability of elementary modal logics
- Tytuł czasopisma: ACM Transactions on Computational Logic
- Twórca: Michaliszyn, Jakub ; Otop, Jan ; Kieroński, Emanuel
- Strony: s. 2-1-2-47
- Opis: Zawiera ilustracje. ; Bibliogr. ; Przy nazwisku Jan Otop podwójna afiliacja : IST Austria i Uniwersity of Wrocław. ; Streszcz. w jęz. ang.
- Język Abstraktu: eng
- Data wydania: 2015
- Typ: Tekst
- Identyfikator: ISSN 1529-3785 ; https://doi.org/10.1145/2817825
- Język publikacji: eng
- Wersja Cyfrowa: http://dx.doi.org/10.1145/2817825
- Szczegółowy typ obiektu: art
- Typ obiektu: Artykuł
- Tom/Wolumen/Zeszyt: Vol. 17, iss. 1 (2015)