年別の研究成果
年別の研究成果
フィンガープリント
Daniel Mircea Gainaが活動している研究トピックを掘り下げます。このトピックラベルは、この研究者の研究成果に基づきます。これらがまとまってユニークなフィンガープリントを構成します。
- 1 類似のプロファイル
過去5年の共同研究と上位研究分野
国/地域レベルにおける最近の外部共同研究。点をクリックして詳細を開くか、または
-
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.研究成果: ジャーナルへの寄稿 › 学術誌 › 査読
-
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.研究成果: ジャーナルへの寄稿 › 学術誌 › 査読
-
Forcing and Calculi for Hybrid Logics
Gaina, D., 8月 6 2020, In: Journal of the ACM. 67, 4, 25.研究成果: ジャーナルへの寄稿 › 学術誌 › 査読
9 被引用数 (Scopus) -
Fraïssé-Hintikka theorem in institutions
Gaina, D. & Kowalski, T., 10月 1 2020, In: Journal of Logic and Computation. 30, 7, p. 1377-1399 23 p.研究成果: ジャーナルへの寄稿 › 学術誌 › 査読
1 被引用数 (Scopus) -
Stability of termination and sufficient-completeness under pushouts via amalgamation
Găină, D., Nakamura, M., Ogata, K. & Futatsugi, K., 12月 24 2020, In: Theoretical Computer Science. 848, p. 82-105 24 p.研究成果: ジャーナルへの寄稿 › 学術誌 › 査読
2 被引用数 (Scopus)