European Association for Computer Science Logic (22)
Wert ausschließen
Institute of Electrical and Electronics Engineers (14)
Wert ausschließen
Löwe, Benedikt (6)
Wert ausschließen
IEEE Computer Society (5)
Wert ausschließen
Dershowitz, Nachum (4)
Wert ausschließen
IEEE Computer Society Technical Committee on Multiple Valued Logic (4)
Wert ausschließen
Kreutzer, Stephan (4)
Wert ausschließen
Broy, Manfred (3)
Wert ausschließen
Du, Dingzhu (3)
Wert ausschließen
Hutchison, David (3)
Wert ausschließen
Kanade, Takeo (3)
Wert ausschließen
Kittler, Josef (3)
Wert ausschließen
Kleinberg, Jon (3)
Wert ausschließen
Marcinkowski, Jerzy (3)
Wert ausschließen
Mattern, Friedemann (3)
Wert ausschließen
Mitchell, John C. (3)
Wert ausschließen
Naor, Moni (3)
Wert ausschließen
Nierstrasz, Oscar (3)
Wert ausschließen
Ong, Luke (3)
Wert ausschließen
Pandu Rangan, C. (3)
Wert ausschließen
Steffen, Bernhard (3)
Wert ausschließen
Sudan, Madhu (3)
Wert ausschließen
Terzopoulos, Demetri (3)
Wert ausschließen
Thai, My T. (3)
Wert ausschließen
Tygar, Doug (3)
Wert ausschließen
Vardi, Moshe Y. (3)
Wert ausschließen
Weikum, Gerhard (3)
Wert ausschließen
Woodcock, Jim (3)
Wert ausschließen
Abdulla, Parosh Aziz (2)
Wert ausschließen
Annual Conference on Computer Science Logic 24. 2015 Berlin (2)
Wert ausschließen
Baaz, Matthias (2)
Wert ausschließen
Beckmann, Arnold (2)
Wert ausschließen
Blass, Andreas (2)
Wert ausschließen
Bradfield, Julian (2)
Wert ausschließen
CSL 9 1995 Paderborn (2)
Wert ausschließen
Cavalcanti, Ana (2)
Wert ausschließen
Cerone, Antonio (2)
Wert ausschließen
Chen, Danny Z. (2)
Wert ausschließen
Chwa, Kyung-Yong (2)
Wert ausschließen
Cooper, Stuart B. (2)
Wert ausschließen
Cégielski, Patrick (2)
Wert ausschließen
Dawar, Anuj (2)
Wert ausschließen
Deharbe, David (2)
Wert ausschließen
Dimitracopoulos, Costas (2)
Wert ausschließen
Du, Ding-Zhu (2)
Wert ausschließen
Duparc, Jacques (2)
Wert ausschließen
Durand, Arnaud (2)
Wert ausschließen
Ferreira, Fernando (2)
Wert ausschließen
Flum, Jörg (2)
Wert ausschließen
Fribourg, Laurent (2)
Wert ausschließen
Fu, Bin (2)
Wert ausschließen
Gaudel, Marie-Claude (2)
Wert ausschließen
Gottlob, Georg (2)
Wert ausschließen
Goubault-Larrecq, Jean (2)
Wert ausschließen
Grädel, Erich (2)
Wert ausschließen
Harwath, Frederik (2)
Wert ausschließen
Hsu, Wen-Lian (2)
Wert ausschließen
Hu, Xiaodong (2)
Wert ausschließen
Huth, Michael (2)
Wert ausschließen
Ibarra, Oscar H. (2)
Wert ausschließen
Jackson, Ethan (2)
Wert ausschließen
Kahle, Reinhard (2)
Wert ausschließen
Kaminski, Michael (2)
Wert ausschließen
Kao, Ming-Yang (2)
Wert ausschließen
Kleine Büning, Hans (2)
Wert ausschließen
Kohlenbach, Ulrich (2)
Wert ausschließen
König, Barbara (2)
Wert ausschließen
Legay, Axel (2)
Wert ausschließen
Leino, K. Rustan M. (2)
Wert ausschließen
Lin, Guohui (2)
Wert ausschließen
Ludwig, Michael (2)
Wert ausschließen
Makowsky, Johann M. (2)
Wert ausschließen
Margaria, Tiziana (2)
Wert ausschließen
Martini, Simone (2)
Wert ausschließen
Mayordomo, Elvira (2)
Wert ausschließen
Mendes Gomes, Luís (2)
Wert ausschließen
Moss, Lawrence S. (2)
Wert ausschließen
Muscholl, Anca (2)
Wert ausschließen
Mycielski, Jan (2)
Wert ausschließen
Nagayama, Shinobu (2)
Wert ausschließen
Ngo, Hung Q. (2)
Wert ausschließen
Nielsen, Mogens (2)
Wert ausschließen
Pihlajasaari, Pekka (2)
Wert ausschließen
Queiroz, Ruy (2)
Wert ausschließen
Reisig, Wolfgang (2)
Wert ausschließen
Ryan, Mark (2)
Wert ausschließen
Sahni, Sartaj (2)
Wert ausschließen
Schloss Dagstuhl, Leibniz-Zentrum für Informatik (2)
Wert ausschließen
Schmidt, Renate A. (2)
Wert ausschließen
Schweikardt, Nicole (2)
Wert ausschließen
Schwichtenberg, Helmut (2)
Wert ausschließen
Segoufin, Luc (2)
Wert ausschließen
Sofronie-Stokkermans, Viorica (2)
Wert ausschließen
Sorbi, Andrea (2)
Wert ausschließen
Tarlecki, Andrzej (2)
Wert ausschließen
Tinelli, Cesare (2)
Wert ausschließen
Veith, Helmut (2)
Wert ausschließen
Wang Jie (2)
Wert ausschließen
Wang, Jie (2)
Wert ausschließen
Wang, Lusheng (2)
Wert ausschließen