Author
Bauer, F. L.
2
Kozen, Dexter
2
Kurt-Gödel-Gesellschaft
2
Küchlin, Wolfgang
2
Lau, Kung-Kiu
2
Maciaszek, Leszek A.
2
Maxfield, Clive
2
Weber, Andreas
2
Adeli, Hojjat
1
Aichernig, Bernhard K.
1
Amgoud, Leila
1
Anis, Mohab
1
Antoniou, Grigoris
1
Armgardt, Matthias
1
Astola, Jaakko
1
Attie, Paul D.
1
Baier, Christel
1
Bioul, Géry Jean Antoine
1
Boiten, Eerke
1
Boley, Harold
1
Bosnacki, Dragan
1
Bowen, Jonathan P.
1
Brauer, Wilfried
1
Breu, Ruth
1
Broda, Krysia
1
Bruynooghe, Maurice
1
Caferra, Ricardo
1
Carter, Bruce
1
Chen, Kuan-Neng
1
Clement, Timothy P.
1
Cortesi, Agostino
1
DeHon, André
1
Derrick, John
1
Dershowitz, Nachum
1
Deschamps, Jean-Pierre
1
Deville, Yves
1
Dong, Jin Song
1
Duncan, Tim
1
Ehrig, Hartmut
1
Feder, Christiane
1
Filipe, Joaquim
1
Friedrichsdorf, Ulf
1
Fuchs, Norbert E.
1
Galitsky, Boris
1
Goos, G.
1
Goos, Gerhard
1
Gregorian, Roubik
1
Greibach, Sheila A.
1
Harel, David
1
Harrison, J.
1
more ...