Ehrig, Hartmut (6)
Wert ausschließen
Melton, Austin (6)
Wert ausschließen
Brookes, Stephen (5)
Wert ausschließen
Herre, Heinrich (5)
Wert ausschließen
Wagner, Gerd (5)
Wert ausschließen
Rudolph, Sebastian (4)
Wert ausschließen
Technische Universität Dresden (4)
Wert ausschließen
Vogler, Heiko (4)
Wert ausschließen
Aßmann, Uwe (3)
Wert ausschließen
Bakker, Jacobus W. de (3)
Wert ausschließen
Bochmann, Gregor von (3)
Wert ausschließen
Courcoubetis, Costas (3)
Wert ausschließen
Drescher, Conrad (3)
Wert ausschließen
Itō, Takayasū (3)
Wert ausschließen
Loeckx, Jacques (3)
Wert ausschließen
Mahr, Bernd (3)
Wert ausschließen
Main, Michael (3)
Wert ausschließen
Mislove, Michael (3)
Wert ausschließen
Olderog, Ernst-Rüdiger (3)
Wert ausschließen
Schmidt, David (3)
Wert ausschließen
Wende, Christian (3)
Wert ausschließen
Ziegenbalg, Jochen (3)
Wert ausschließen
Apt, Krzysztof R. (2)
Wert ausschließen
Bauer, Friedrich L. (2)
Wert ausschließen
Bird, Richard (2)
Wert ausschließen
Blum, Edward K. (2)
Wert ausschließen
Brookes, Stephen D. (2)
Wert ausschließen
CAV 4 1992 Montréal (2)
Wert ausschließen
CAV 5 1993 Elounda (2)
Wert ausschließen
COMPASS 4 1992 Caldas de Malavella (2)
Wert ausschließen
CONCUR 3 1992 Stony Brook, NY (2)
Wert ausschließen
Cleaveland, Walter R. (2)
Wert ausschließen
Dijkstra, Edsger W. (2)
Wert ausschließen
Falakh, Faiq Miftakhul (2)
Wert ausschließen
Gebhardt, Kilian (2)
Wert ausschließen
Gunter, Carl A. (2)
Wert ausschließen
Götz, Sebastian (2)
Wert ausschließen
Jürgensen, Claus (2)
Wert ausschließen
Kartalopoulos, Stamatios V. (2)
Wert ausschließen
Kern-Isberner, Gabriele (2)
Wert ausschließen
Kuhlmann, Marco (2)
Wert ausschließen
Lorenz, Gernot (2)
Wert ausschließen
Manna, Zohar (2)
Wert ausschließen
Pierce, Benjamin C. (2)
Wert ausschließen
Pitts, Andrew M. (2)
Wert ausschließen
Pukhkaiev, Dmytro (2)
Wert ausschließen
REX Workshop 1992 Beekbergen (2)
Wert ausschließen
Shields, Michael W. (2)
Wert ausschließen
Struckmann, Werner (2)
Wert ausschließen
TACS 1 1991 Sendai (2)
Wert ausschließen
Walther, Christoph (2)
Wert ausschließen
Winskel, Glynn (2)
Wert ausschließen
Workshop on Specification of Abstract Data Types 9 1992 Caldas de Malavella (2)
Wert ausschließen
Wössner, Hans (2)
Wert ausschließen
Ziegenbalg, Bernd (2)
Wert ausschließen
Ziegenbalg, Oliver (2)
Wert ausschließen
Aceto, Luca (1)
Wert ausschließen
Advanced Study Institute on Verification of Digital and Hybrid Systems 1997 Antalya (1)
Wert ausschließen
Alber, Klaus (1)
Wert ausschließen
Allison, Lloyd (1)
Wert ausschließen
Amadio, Roberto M. (1)
Wert ausschließen
Andrews, Derek J. (1)
Wert ausschließen
Andrews, Derek John (1)
Wert ausschließen
Arbib, Michael A. (1)
Wert ausschließen
Astesiano, Egidio (1)
Wert ausschließen
Atkinson, Colin (1)
Wert ausschließen
Backhouse, Roland C. (1)
Wert ausschließen
Bakker, J.W.de (1)
Wert ausschließen
Barbosa, Valmir C. (1)
Wert ausschließen
Becker, Klaus P. (1)
Wert ausschließen
Bergstra, J. A. (1)
Wert ausschließen
Bergstra, Jan A. (1)
Wert ausschließen
Best, Eike (1)
Wert ausschließen
Bjoerner, Dines (1)
Wert ausschließen
Bjørner, Dines (1)
Wert ausschließen
Blackburn, Patrick (1)
Wert ausschließen
Blum, E.K (1)
Wert ausschließen
Bohlmann, Karsten (1)
Wert ausschließen
Bos, Johan (1)
Wert ausschließen
Bottaci, Leonardo (1)
Wert ausschließen
Bowen, Jonathan P. (1)
Wert ausschließen
Bradfield, Julian (1)
Wert ausschließen
Bradfield, Julian Charles (1)
Wert ausschließen
Brainerd, Barron (1)
Wert ausschließen
Breu, Michael (1)
Wert ausschließen
Breugel, Franck van (1)
Wert ausschließen
British Computer Society Specialist Group in Formal Aspects of Computing Science (1)
Wert ausschließen
Bruin, Arie de (1)
Wert ausschließen
Böszörményi, László (1)
Wert ausschließen
Chomsky, Noam (1)
Wert ausschließen
Cleaveland, Walter Rance (1)
Wert ausschließen
Conference on the Mathematical Foundations of Programming Semantics 1985 Manhattan, Kan (1)
Wert ausschließen
Conrad, Stefan (1)
Wert ausschließen
Curien, Pierre-Louis (1)
Wert ausschließen
Davies, Jim (1)
Wert ausschließen
Dembiński, Piotr (1)
Wert ausschließen
Dershowitz, Nachum (1)
Wert ausschließen
Donahue, James E. (1)
Wert ausschließen
Donahue, James Edward (1)
Wert ausschließen