年単位の研究成果
フィンガープリント Daniel Mircea Gainaが有効な場合、研究トピックを掘り下げます。このトピックラベルは、この人物の業績からのものです。これらはともに一意のフィンガープリントを構成します。
ネットワーク
最近の国レベルでの外部協力。点をクリックして詳細を開いてください。
研究成果
Birkhoff Completeness for Hybrid-Dynamic First-Order Logic
Găină, D. & Ţuţu, I., 1 1 2019, Automated Reasoning with Analytic Tableaux and Related Methods - 28th International Conference, TABLEAUX 2019, Proceedings. Cerrito, S. & Popescu, A. (版). Springer, p. 277-293 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 巻数 11714 LNAI).研究成果: Chapter in Book/Report/Conference proceeding › Conference contribution
1
引用
（Scopus）
Specification and Verification of Invariant Properties of Transition Systems
Gaina, D., Tutu, I. & Riesco, A., 7 2 2018, Proceedings - 25th Asia-Pacific Software Engineering Conference, APSEC 2018. IEEE Computer Society, p. 99-108 10 p. 8719485. (Proceedings - Asia-Pacific Software Engineering Conference, APSEC; 巻数 2018-December).研究成果: Chapter in Book/Report/Conference proceeding › Conference contribution
1
引用
（Scopus）
Birkhoff style calculi for hybrid logics
Gaina, D. M., 9 1 2017, ： : Formal Aspects of Computing. 29, 5, p. 805-832 28 p.研究成果: Contribution to journal › Article
5
引用
（Scopus）
Downward Löwenheim-Skolem Theorem and interpolation in logics with constructors
Gǎinǎ, D., 9 1 2017, ： : Journal of Logic and Computation. 27, 6, p. 1717-1752 36 p.研究成果: Contribution to journal › Article
2
引用
（Scopus）
Foundations of logic programming in hybrid logics with user-defined sharing
Găină, D., 7 22 2017, ： : Theoretical Computer Science. 686, p. 1-24 24 p.研究成果: Contribution to journal › Article
2
引用
（Scopus）