| 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 | Andrei Popescu | [1] [2] |