Jouko Vaananen

2 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.

From IF to BI: a tale of dependence and separation

Samson Abramsky and others (2011)

Lindström theorems for fragments of first-order logic

Balder ten Cate and others (2007) · 22nd Annual IEEE Symposium on Logic in Computer Science (LICS) · IEEE