OTKA
Hungarian
Scientific Research Fund
Logics and Applications, T
007275,
1992-1995
Participants: Andréka, Ádám A.,
Ádám K., Bach, Mikulás, Ónodi, Sain, Serény,
Simon, Szőts, Ferenczi (principal
inv.)
Logics
and Applications, T 023234, 1995-1999
Participants: Andréka, Ádám K., Bach,
Madarász,
Ónodi, Sain, Sági, Serény,
Szőts, Ferenczi (principal inv.)
Logics
and Applications, T 035192, 2001-2005
Participants: Andréka, Babcsányi,
Kurucz, Madarász,
Sain, Sági, Serény, Simon,
Szőts, Ferenczi
(principal inv.)
