Pauli Väisänen

Publication Activity (10 Years)

Years Active: 2000-2010
Publications (10 Years): 0

Publications

Alexei Iliasov, Elena Troubitsyna, Linas Laibinis, Alexander B. Romanovsky, Kimmo Varpaaniemi, Pauli Väisänen, Dubravka Ilic, Timo Latvala
Verifying Mode Consistency for On-Board Satellite Software. SAFECOMP (2010)
Pauli Väisänen
Almost free groups and long Ehrenfeucht-Fraïssé games. Ann. Pure Appl. Log. 123 (1-3) (2003)
Saharon Shelah, Pauli Väisänen
Almost free groups and Ehrenfeucht-Fraïssé games for successors of singular cardinals. Ann. Pure Appl. Log. 118 (1-2) (2002)
Saharon Shelah, Pauli Väisänen
-Equivalent, Non-Isomorphic Models for lambda Singular. J. Symb. Log. 65 (1) (2000)