年別の研究成果
年別の研究成果
フィンガープリント
Daniel Mircea Gainaが活動している研究トピックを掘り下げます。このトピックラベルは、この研究者の研究成果に基づきます。これらがまとまってユニークなフィンガープリントを構成します。
- 1 類似のプロファイル
過去5年の共同研究と上位研究分野
国/地域レベルにおける最近の外部共同研究。点をクリックして詳細を開くか、または
-
A MODULAR BISIMULATION CHARACTERISATION for FRAGMENTS of HYBRID LOGIC
Badia, G., Gǎinǎ, D., Knapp, A., Kowalski, T. & Wirsing, M., 2025, (印刷中) In: Bulletin of Symbolic Logic.研究成果: ジャーナルへの寄稿 › 学術誌 › 査読
Open Access -
Forcing, Transition Algebras, and Calculi
Hashimoto, G., Găină, D. & Ţuţu, I., 7月 2024, 51st International Colloquium on Automata, Languages, and Programming, ICALP 2024. Bringmann, K., Grohe, M., Puppis, G. & Svensson, O. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 143. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 297).研究成果: 書籍/レポート タイプへの寄稿 › 会議への寄与
-
Omitting types theorem in hybrid dynamic first-order logic with rigid symbols
Găină, D., Badia, G. & Kowalski, T., 3月 2023, In: Annals of Pure and Applied Logic. 174, 3, 103212.研究成果: ジャーナルへの寄稿 › 学術誌 › 査読
Open Access2 被引用数 (Scopus) -
Lindström's theorem, both syntax and semantics free
Gaina, D. & Kowalski, T., 7月 1 2022, In: Journal of Logic and Computation. 32, 5, p. 942-975 34 p.研究成果: ジャーナルへの寄稿 › 学術誌 › 査読
-
Robinson consistency in many-sorted hybrid first-order logics
Gǎinǎ, D., Badia, G. & Kowalski, T., 2022, Advances in Modal Logic, AiML 2022. Fernandez-Duque, D., Palmigiano, A., Palmigiano, A. & Pinchinat, S. (eds.). College Publications, p. 407-428 22 p. (Advances in Modal Logic; vol. 14).研究成果: 書籍/レポート タイプへの寄稿 › 会議への寄与
3 被引用数 (Scopus)