Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Bhupendra Singh
David A. Bradley
Marco Vannucci
l ness
Silvia Scirpoli
Lana Yeganova
Songhua Li
Sebastian Magda
David MacDonald
Meng Jiang
Home
/
Author
/
DANIEL GĂINĂ
Author Info
Open Visualization
Name
Affiliation
Papers
DANIEL GĂINĂ
Japan Adv Inst Sci & Technol, Nomi City, Japan
13
Collaborators
Citations
PageRank
9
42
5.30
Referers
Referees
References
24
84
194
Publications (13 rows)
Collaborators (9 rows)
Referers (24 rows)
Referees (84 rows)
Title
Citations
PageRank
Year
Fraisse-Hintikka Theorem In Institutions
0
0.34
2020
Stability of termination and sufficient-completeness under pushouts via amalgamation.
0
0.34
2020
Specification and Verification of Invariant Properties of Transition Systems
0
0.34
2018
Birkhoff style calculi for hybrid logics.
0
0.34
2017
Downward Löwenheim-Skolem Theorem and interpolation in logics with constructors.
0
0.34
2017
Foundations of logic programming in hybrid logics with user-defined sharing.
1
0.35
2017
Initial semantics in logics with constructors.
3
0.39
2015
Forcing, Downward Löwenheim-Skolem and Omitting Types Theorems, Institutionally.
2
0.38
2014
Interpolation in logics with constructors
2
0.48
2013
Completeness by Forcing
3
0.37
2010
Birkhoff Completeness in Institutions
10
0.54
2008
An Institution-Independent Proof of the Robinson Consistency Theorem
14
0.63
2007
An Institution-independent Generalization of Tarski's Elementary Chain Theorem.
7
0.47
2007
1