Bibliography

-
- All Elements

- Types
- Articles
- Books
- In a collection
- In proceedings
- 'Miscellaneous documents'
- PhD thesis
- Technical reports
- Unpublished

- Authors
- Abbes, S.
- Akama, Y.
- Altenkirch, T.
- Alvarez Manilla, M.
- Ambos-Spies, K.
- Awodey, S.
- Bacak, M.
- Barany, V.
- Barbălată, C.
- Battenfeld, I.
- Bénabou, J.
- Berardi, S.
- Berg, B.
- Berwanger, D.
- Blumensath, A.
- Brandt, U.
- Briseid, E.M.
- Broy, M.
- Bunge, M.
- Burmeister, P.
- Butz, C.
- Cate, B.
- Cohen, B.
- Colcombet, T.
- Courcelle, B.
- Dawar, A.
- Di Nola, A.
- Erker, T.
- Escardo, M.
- Escardó, M.
- Fedel, M.
- Fujiwara, M.
- Funk, J.
- Gärtner, T.
- Gaspar, J.
- Georgescu, G.
- Gerhardy, P.
- Gierz, G.
- Goranko, V.
- Gottlob, G.
- Goubault-Larrecq, J.
- Grädel, E.
- Gregoriades, V.
- Grohe, M.
- Gruenhage, G.
- Günzel, D.
- Hayashi, S.
- Heckmann, R.
- Hernest, M.D.
- Herrmann, C.
- Hirsch, C.
- Hodkinson, I.
- Hofmann, K.H.
- Hofmann, M.
- Hoogland, E.
- Huth, M.
- Jacobs, B.
- Jibladze, M.
- Jung, A.
- Kartzow, A.
- Kawamura, A.
- Keimel, K.
- Khan, M.A.A.
- Kieronski, E.
- Kohlenbach, U.
- Kolaitis, P.
- Körnlein, D.
- Koutsoukou-Argyraki, A.
- Kreutzer, S.
- Kreuzer, A.
- Kreuzer, A.P.
- Lambov, B.
- Lawson, J.D.
- Leuştean, L.
- Leustean, L.
- Liang, J.H.
- Lietz, P.
- Lock, H.
- Löding, C.
- López-Acedo, G.
- Löw, T.
- Marx, M.
- Marz, M.
- Maschio, S.
- Mislove, M.
- Moggi, E.
- Montagna, F.
- Mück, A.
- Müller, N.
- Neven, F.
- Nicolae, A.
- Oliva, P.
- Oosten, J.
- Ota, H.
- Otto, M.
- Pauly, A.
- Piro, R.
- Plotkin, G.D.
- Prasad Venkatesan, R.
- Preoteasa, V.
- Pribeanu, C.
- Reus, B.
- Rohr, A.
- Rosenbusch, A.P.
- Rosen, E.
- Rösnick, C.
- Roşu, G.
- Roth, W.
- Safarik, P.
- Schade, K.
- Schweikardt, N.
- Scott, D.S.
- Simpson, A.
- Sokoli, J.
- Steinberg, F.
- Streicher, T.
- Tix, R.
- Tyszkiewicz, J.
- Van Den Bussche, J.
- Weyer, M.
- Whittle, J.
- Wille, A.M.
- Ziegler, M.

Valid HTML 4.01!Valid CSS!