Fabrice Barbier

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2007

2 Marc Aiguier, Fabrice Barbier: An Institution-independent Proof of the Beth Definability Theorem. Studia Logica 85(3): 333-359 (2007)

2004

1 Marc Aiguier, Fabrice Barbier, Pascal Poizat: A Logic with Temporal Glue for Mixed Specifications. Electr. Notes Theor. Comput. Sci. 97: 155-174 (2004)

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

Coauthor Index