Graph explorer

Jouko Väänänen

Jouko Väänänen contributes to research discovery and scholarly infrastructure.

13 nodes12 linksoverview previewJouko Väänänen
13 nodes12 links
Jouko Väänänen13 visible / 13 total nodes / 12 links
AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAJouko VäänänenResearcherWTracing Internal Catego...preprint / 2020WAn Ehrenfeucht-Fraïssé ...preprint / 2012WOn highly equivalent no...preprint / 2022WDependence and Independ...preprint / 2012WThe size of a formula a...preprint / 2012WAxiomatizing first orde...preprint / 2012WPositional strategies i...preprint / 2013WOn Dependence Logicpreprint / 2013WModular SAT-based techn...preprint / 2022WBounded Symbiosis and U...preprint / 2020WInner Models from Exten...preprint / 2020WOn Second-order Charact...preprint / 2012
PersonSignal 1012 links

Jouko Väänänen

Researcher

Open