| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 2010 | |
|---|---|---|
| 4 |      | Daniel Gâinâ, Marius Petria: Completeness by Forcing. J. Log. Comput. 20(6): 1165-1186 (2010) |
| 2009 | ||
| 3 | | Daniel Gâinâ, Kokichi Futatsugi, Kazuhiro Ogata: Constructor-Based Institutions. CALCO 2009: 398-412 |
| 2007 | ||
| 2 | | Daniel Gâinâ, Andrei Popescu: An Institution-Independent Proof of the Robinson Consistency Theorem. Studia Logica 85(1): 41-73 (2007) |
| 2006 | ||
| 1 | | Daniel Gâinâ, Andrei Popescu: An Institution-independent Generalization of Tarski's Elementary Chain Theorem. J. Log. Comput. 16(6): 713-735 (2006) |
| 1 | Kokichi Futatsugi | [3] |
| 2 | Kazuhiro Ogata | [3] |
| 3 | Marius Petria | [4] |
| 4 | Andrei Popescu | [1] [2] |
Colors in the list of coauthors
Last update Wed May 30 22:34:44 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page