| |
| 2007 | ||
|---|---|---|
| 2 | EE | Marc Aiguier, Fabrice Barbier: An Institution-independent Proof of the Beth Definability Theorem. Studia Logica 85(3): 333-359 (2007) |
| 2004 | ||
| 1 | EE | Marc Aiguier, Fabrice Barbier, Pascal Poizat: A Logic with Temporal Glue for Mixed Specifications. Electr. Notes Theor. Comput. Sci. 97: 155-174 (2004) |
| 1 | Marc Aiguier | [1] [2] |
| 2 | Pascal Poizat | [1] |