Author
Li, Wei
7
Sui, Yuefei
5
Schlechta, Karl
4
Dybjer, Peter
3
Gabbay, Dov M.
3
Rozenberg, Grzegorz
3
Nipkow, Tobias
2
Nordström, Bengt
2
Ong, Luke
2
Salomaa, Arto
2
Smith, Jan
2
Sturmfels, Bernd
2
Aalst, Wil van der
1
Ait-Ameur, Yamine
1
Alblas, Henk
1
Andreasen, Troels
1
Arbab, Farhad
1
Artemov, Sergei
1
Avenhaus, Jürgen
1
Baaz, Matthias
1
Bacchus, Fahiem
1
Baltag, Alexandru
1
Banerjee, Mohua
1
Beckstein, Clemens
1
Ben-Ari, Mordechai
1
Bert, Didier
1
Best, Eike
1
Bhargava, Bharat K.
1
Bibel, Wolfgang
1
Biere, Armin
1
Boldt, Oliver
1
Bowen, Jonathan P.
1
Broniek, Przemysław
1
Böhm, C.
1
Calude, Christian S.
1
Cantone, Domenico
1
Caviness, Bob F.
1
Christiansen, Henning
1
Colombo, Christian
1
Condon, Anne
1
Coquand, Thierry
1
Cornelius, Felix
1
Curien, Pierre-Louis
1
Davis, Martin
1
Diaz, Josep
1
Doberkat, Ernst-Erich
1
Dowek, Gilles
1
Duparc, Jacques
1
Ehrig, Hartmut
1
Fahrenberg, Uli
1
more ...