• 127 引用
  • 7 h指数
20062019

年単位の研究成果

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

フィンガープリント Daniel Mircea Gainaが有効な場合、研究トピックを掘り下げます。このトピックラベルは、この人物の業績からのものです。これらはともに一意のフィンガープリントを構成します。

ネットワーク 最近の国レベルでの外部協力。点をクリックして詳細を開いてください。

研究成果

  • 127 引用
  • 7 h指数
  • 14 Article
  • 5 Conference contribution
  • 1 Comment/debate

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 proceedingConference 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 proceedingConference 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 journalArticle

  • 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 journalArticle

  • 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 journalArticle

  • 2 引用 (Scopus)