Pureに変更を加えた場合、すぐここに表示されます。

Fingerprint Daniel Mircea Gainaが取り組む研究トピックをご確認ください。これらのトピックラベルは、この人物の研究に基づいています。これらを共に使用することで、固有の認識が可能になります。

  • 3 同様のプロファイル
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 2019

  • 117 引用
  • 7 h指数
  • 13 記事
  • 4 会議での発言
  • 1 コメント/討論

Specification and Verification of Invariant Properties of Transition Systems

Gaina, D. M., Tutu, I. & Riesco, A., 5 21 2019, 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
2 引用 (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

Gaina, D. M., 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

Gaina, D. M., 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

Gaina, D. M., 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