Jouko Väänänen

List of publications from the DBLP Bibliography Server - FAQ

Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - 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]