年単位の研究成果
Fingerprint Daniel Mircea Gainaが取り組む研究トピックをご確認ください。これらのトピックラベルは、この人物の研究に基づいています。これらを共に使用することで、固有の認識が可能になります。
Logic
Mathematics
Theorem
Mathematics
Algebra
Engineering & Materials Science
First-order Logic
Mathematics
Computer science
Engineering & Materials Science
Horn clause
Mathematics
Completeness
Mathematics
Hybrid Logic
Mathematics
ネットワーク
最近の共同研究。丸をクリックして詳細を確認しましょう。
研究成果 2006 2018
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).研究成果: 著書/レポートタイプへの貢献 › 会議での発言
Specifications
3
引用
(Scopus)
Birkhoff style calculi for hybrid logics
Gaina, D. M., 9 1 2017, ： : Formal Aspects of Computing. 29, 5, p. 805-832 28 p.研究成果: ジャーナルへの寄稿 › 記事
Hybrid Logic
Calculus
Horn clause
Completeness
Sharing
2
引用
(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.研究成果: ジャーナルへの寄稿 › 記事
Interpolation
First-order Logic
Interpolate
Logic
Higher-order Logic
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.研究成果: ジャーナルへの寄稿 › 記事
Hybrid Logic
Horn clause
Logic programming
Logic Programming
Sharing
2
引用
(Scopus)
Foundations of logic programming in hybridised logics
Găină, D., 1 1 2015, Recent Trends in Algebraic Development Techniques - 22nd International Workshop, WADT 2014, Revised Selected Papers. Ţuţu, I., Codescu, M. & Diaconescu, R. (版). Springer Verlag, p. 69-89 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 巻数 9463).研究成果: 著書/レポートタイプへの貢献 › 会議での発言
Logic programming
Logic Programming
Logic
Hybrid systems
Semantics