Jouko Väänänen Vis

List of publications from the DBLP Bibliography Server - FAQ

Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

* 2009

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

2008

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

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

Coauthor Index

1 Samson Abramsky [2]