Szerző
Börger, Egon (1946-)
5
Kleine Büning, Hans
2
Richter, Michael M. (1938-)
2
All-Berlin Workshop on Nonclassical Logics and Information Processing1.(1990) (Berlin, Germany)
1
Baaz, Matthias
1
Bezem, Marc (1956-)
1
Bradfield, Julian Charles
1
Bundy, Alan
1
CSL (2003)
1
Dalen, Dirk van (1932-)
1
EACSL (2002)
1
EACSL (2003)
1
European Association for Computer Science Logic.Conference(1996 :) (Utrecht, Netherlands))
1
Gabbay, Dov M. (1945-)
1
Gottlob, Georg
1
Grandjean, Etienne
1
Gurevich, Yur
1
International Conference on Automated Deduction12.(1994) (Nancy, France)
1
International Conference on Automated Deduction15.(1998) (Lindau, Germany)
1
International Conference on Automated Deduction7.(1984) (Napa, California)
1
International Conference on Computer Logic (1998) (Tallinn)
1
International Conference on Temporal Logic (1994) (Bonn, Germany)
1
International Scientific Symposium ()1989) (Hamburg, Germany)
1
KGC (2003)
1
Kirchner, Claude
1
Kirchner, Hélene
1
Konferencia (1990) (Heidelberg)
1
Konferencia (1993) (Swansea)
1
Konferencia (1994) (Kazimierz)
1
Konferencia (1996) (Utrecht)
1
Konferencia (1998) (Brno)
1
Konferencia (2002) (Edinburgh)
1
Makowsky, Johann A. (1948-)
1
Martin-Löf, Per
1
Meinke, Karl
1
Mints, Grigori
1
Nielsen, Mogens (1949-)
1
Ohlbach, Hans Jürgen
1
Pacholski, Leszek
1
Pearce, David A. (1952-)
1
Seyr, Katrin
1
Shostak, Robert
1
Studer, Rudi
1
Thomas, Wolfgang (1947-)
1
Tiuryn, Jerzy
1
Wansing, Heinrich
1
Workshop on Computer Science Logic10.(1996) (Utrecht, The Netherlands)
1
Workshop on Computer Science Logic11.(1997) (Aarhus, Denmark)
1
Workshop on Computer Science Logic12.(1998) (Brno, Czech Republic)
1
Workshop on Computer Science Logic16.(2002) (Edinburgh, Scotland)
1
többet ...