If you made any changes in Pure these will be visible here soon.

Fingerprint Dive into the research topics where Daniel Mircea Gaina is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

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

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output 2006 2018

  • 119 Citations
  • 7 h-Index
  • 14 Article
  • 4 Conference contribution
  • 1 Comment/debate

Specification and Verification of Invariant Properties of Transition Systems

Gaina, D., Tutu, I. & Riesco, A., Jul 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; vol. 2018-December).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Specifications
3 Citations (Scopus)

Birkhoff style calculi for hybrid logics

Gaina, D. M., Sep 1 2017, In : Formal Aspects of Computing. 29, 5, p. 805-832 28 p.

Research output: Contribution to journalArticle

Hybrid Logic
Calculus
Horn clause
Completeness
Sharing
2 Citations (Scopus)

Downward Löwenheim-Skolem Theorem and interpolation in logics with constructors

Gǎinǎ, D., Sep 1 2017, In : Journal of Logic and Computation. 27, 6, p. 1717-1752 36 p.

Research output: Contribution to journalArticle

Interpolation
First-order Logic
Interpolate
Logic
Higher-order Logic

Foundations of logic programming in hybrid logics with user-defined sharing

Găină, D., Jul 22 2017, In : Theoretical Computer Science. 686, p. 1-24 24 p.

Research output: Contribution to journalArticle

Hybrid Logic
Horn clause
Logic programming
Logic Programming
Sharing
2 Citations (Scopus)

Foundations of logic programming in hybridised logics

Găină, D., Jan 1 2015, Recent Trends in Algebraic Development Techniques - 22nd International Workshop, WADT 2014, Revised Selected Papers. Ţuţu, I., Codescu, M. & Diaconescu, R. (eds.). Springer Verlag, p. 69-89 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9463).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Logic programming
Logic Programming
Logic
Hybrid systems
Semantics