Daniel Gâinâ

20 papers B 3C 1Journal 13Unranked 3
YearRankTypeTitle / Venue / Authors
2019 B conf
Birkhoff Completeness for Hybrid-Dynamic First-Order Logic.
TABLEAUX
Daniel Gâinâ, Ionut Tutu
2019 J jnl
Horn Clauses in Hybrid-Dynamic First-Order Logic.
CoRR
Daniel Gâinâ, Ionut Tutu
2018 C conf
Specification and Verification of Invariant Properties of Transition Systems.
APSEC
Daniel Gâinâ, Ionut Tutu, Adrián Riesco
2017 J jnl
Birkhoff style calculi for hybrid logics.
Formal Aspects Comput.
Daniel Gâinâ
2017 J jnl
Downward Löwenheim-Skolem Theorem and interpolation in logics with constructors.
J. Log. Comput.
Daniel Gâinâ
2017 J jnl
Foundations of logic programming in hybrid logics with user-defined sharing.
Theor. Comput. Sci.
Daniel Gâinâ
2015 J jnl
Initial semantics in logics with constructors.
J. Log. Comput.
Daniel Gâinâ, Kokichi Futatsugi
2015 — conf
Proving Sufficient Completeness of Constructor-Based Algebraic Specifications.
CSA/CUTE
Masaki Nakamura, Daniel Gâinâ, Kazuhiro Ogata, Kokichi Futatsugi
2014 J jnl
Forcing, Downward Löwenheim-Skolem and Omitting Types Theorems, Institutionally.
Logica Universalis
Daniel Gâinâ
2014 — conf
Foundations of Logic Programming in Hybridised Logics.
WADT
Daniel Gâinâ
2014 — conf
On Automation of OTS/CafeOBJ Method.
Specification, Algebra, and Software
Daniel Gâinâ, Dorel Lucanu, Kazuhiro Ogata, Kokichi Futatsugi
2013 B conf
Constructor-Based Inductive Theorem Prover.
CALCO
Daniel Gâinâ, Min Zhang, Yuki Chiba, Yasuhito Arimoto
2013 J jnl
Interpolation in logics with constructors.
Theor. Comput. Sci.
Daniel Gâinâ
2012 J jnl
Constructor-based Logics.
J. Univers. Comput. Sci.
Daniel Gâinâ, Kokichi Futatsugi, Kazuhiro Ogata
2012 J jnl
Principles of proof scores in CafeOBJ.
Theor. Comput. Sci.
Kokichi Futatsugi, Daniel Gâinâ, Kazuhiro Ogata
2010 J jnl
Completeness by Forcing.
J. Log. Comput.
Daniel Gâinâ, Marius Petria
2009 B conf
Constructor-Based Institutions.
CALCO
Daniel Gâinâ, Kokichi Futatsugi, Kazuhiro Ogata
2008 J jnl
Birkhoff Completeness in Institutions.
Logica Universalis
Mihai Codescu, Daniel Gâinâ
2007 J jnl
An Institution-Independent Proof of the Robinson Consistency Theorem.
Stud Logica
Daniel Gâinâ, Andrei Popescu
2006 J jnl
An Institution-independent Generalization of Tarski's Elementary Chain Theorem.
J. Log. Comput.
Daniel Gâinâ, Andrei Popescu