Jouko Väänänen

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

2009

2 Samson Abramsky, Jouko Väänänen: From IF to BI. Synthese 167(2): 207-230 (2009)

2008

1 Jouko Väänänen: The Craig Interpolation Theorem in abstract model theory. Synthese 164(3): 401-420 (2008)

	2009
2		Samson Abramsky, Jouko Väänänen: From IF to BI. Synthese 167(2): 207-230 (2009)
	2008
1		Jouko Väänänen: The Craig Interpolation Theorem in abstract model theory. Synthese 164(3): 401-420 (2008)

Coauthor Index

1 Samson Abramsky [2]