Research Output per year

## 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.

- 2 Similar Profiles

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 2019

### Specification and Verification of Invariant Properties of Transition Systems

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

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Specifications

2
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 journal › Article

Hybrid Logic

Calculus

Horn clause

Completeness

Sharing

2
Citations
(Scopus)

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

Gaina, D. M., Sep 1 2017, In : Journal of Logic and Computation. 27, 6, p. 1717-1752 36 p.Research output: Contribution to journal › Article

Interpolation

First-order Logic

Interpolate

Logic

Higher-order Logic

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

Gaina, D. M., Jul 22 2017, In : Theoretical Computer Science. 686, p. 1-24 24 p.Research output: Contribution to journal › Article

Hybrid Logic

Horn clause

Logic programming

Logic Programming

Sharing

2
Citations
(Scopus)

### Foundations of logic programming in hybridised logics

Gaina, D. M., 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 proceeding › Conference contribution

Logic programming

Logic Programming

Logic

Hybrid systems

Semantics