Volltext-Artikel, E-Books und Literaturhinweise aus dem EBSCO Discovery Service
"Artikel & mehr" berücksichtigt nur einen Teil der für die Bibliothek der Frankfurt UAS verfügbaren Datenbanken. Zur Übersicht in DBIS
Ergebnis verändern
- Publikationstyp
Publikationstyp- erschienen in
- Verlag
- Geographic terms
-
1
von Harding, John ; Shapirovsky, Ilya
EPTCS 447, 2026, pp. 484-499
Schlagworte: Logic in Computer Science; F.4.1
-
2
Schlagworte: Logic; 03B45, 03B62, 06E25, 08B15, 08B20; F.4.1
-
3
Schlagworte: Logic; 03B45, 03B62, 06E25, 08B15, 08B20
-
4
von Agnew, Gabriel ; Gutierrez-Hougardy, Uzias ; Harding, John ; et al.
Schlagworte: Logic; 03B45, 06E25; F.4.1
-
5
von Kudinov, Andrey ; Shapirovsky, Ilya
Studia Logica: An International Journal for Symbolic Logic. :1-25
-
6
Schlagworte: Mathematics - Logic; Computer Science - Logic in Computer Science; 03B45, 03B62, 06E25; F.4.1
-
7
Schlagworte: Logic; 03B45
-
8
Schlagworte: Mathematics - Logic; Computer Science - Logic in Computer Science; 03B45; F.4.1
-
9
Schlagworte: Mathematics - Logic; Computer Science - Logic in Computer Science; 03B45; F.4.1
-
10
ACM Transactions on Computational Logic (TOCL). 23(3):1-25
-
11
J. symb. log. 90 (2025) 655-680
Schlagworte: Logic; 03B45, 03B62, 06E25; F.4.1
-
12
ACM Trans. Comput. Logic 23, 3, Article 15 (July 2022), 25 pages
Schlagworte: Mathematics - Logic; Computer Science - Computational Complexity; 03B45, 03D15
-
13
von Kikot, Stanislav ; Shapirovsky, Ilya ; Zolin, Evgeny
Proceedings of Advances in Modal Logic 2020
Schlagworte: Mathematics - Logic
-
14
Dieses Ergebnis aus Science Citation Index Expanded kann Gästen nicht angezeigt werden.
Login für vollen Zugriff.
-
15
von Shapirovsky, Ilya ; Goos, Gerhard, Founding Editor ; Hartmanis, Juris, Founding Editor ; et al.
Logic, Language, Information, and Computation : 29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11–14, 2023, Proceedings. 13923:351-361
-
16
Schlagworte: Mathematics - Logic
-
17
Schlagworte: Mathematics - Logic; 03B55, 03B45, 20F10; F.4.1
-
18
Schlagworte: Mathematics - Logic; 03B45, 03C52 (Primary), 03C30, 03C75, 03C85, 03E40, 03F45 (Secondary)
-
19
Schlagworte: Mathematics - Logic; 03B45
-
20
von Shapirovsky, Ilya ; Goos, Gerhard, Founding Editor ; Hartmanis, Juris, Founding Editor ; et al.
Logic, Language, Information, and Computation : 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings. 11541:610-618
-
21
von Shapirovsky, Ilya ; Goos, Gerhard, Founding Editor ; Hartmanis, Juris, Founding Editor ; et al.
Logic, Language, Information, and Computation : 29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11–14, 2023, Proceedings. 13923:C1-C1
-
22
von Saveliev, Denis I. ; Shapirovsky, Ilya B.
Studia Logica: An International Journal for Symbolic Logic. :1-29
-
23
Journal of Symbolic Logic. Jun2025, Vol. 90 Issue 2, p655-680. 26p.
Schlagworte: Modal logic; Reflexivity; Logic; Algebra
-
24
von Gabbay, Dov ; Shapirovsky, Ilya ; Shehtman, Valentin
In Journal of Applied Logic December 2014 12(4):570-583
-
25
von Balbiani, Philippe ; Shapirovsky, Ilya, B. ; Shehtman, Valentin, B. ; et al.
Advances in Modal Logic 6, papers from the sixth conference on "Advances in Modal Logic ; 6th Conference on Advances in Modal Logic (AiML 2006) ; https://hal.science/hal-04002023 ; 6th Conference on Advances in Modal Logic (AiML 2006), Sep 2006, Noosavile, Queensland, Australia. pp.69--85 ; http://www.aiml.net/volumes/volume6/
Schlagworte: [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]
Hilfe & Kontakt ǀ Fernleihe | Hilfe zur Fernleihe ǀ Literaturvorschlag| Literaturvorschlag