Abrial, Jean-Raymond, Glasser, Uwe, SpringerLink (Online service)
Springer-Verlag Berlin Heidelberg
|
Grigoriev Dima, Harrison John, Hirsch Edward A., SpringerLink (Online service)
Springer-Verlag GmbH.
|
Futatsugi Kokichi, Jouannaud Jean-Pierre, Meseguer Jos-, SpringerLink (Online service)
Springer-Verlag GmbH.
|
Diekert Volker, Voronkov Andrei, Volkov Mikhail V., SpringerLink (Online service)
Springer-Verlag
|
Leivant Daniel, Queiroz Ruy, SpringerLink (Online service)
Springer-Verlag
|
Beckmann, Arnold, Lowe, Benedikt, Dimitracopoulos, Costas, SpringerLink (Online service)
Springer-Verlag
|
Blass, Andreas, Dershowitz, Nachum, Reisig, Wolfgang, SpringerLink (Online service)
Springer-Verlag Berlin Heidelberg
|
Ambos-Spies, Klaus, Lowe, Benedikt, Merkle, Wolfgang, SpringerLink (Online service)
Springer Berlin Heidelberg
|
Hirsch, Edward A., Razborov, Alexander A., Slissenko, Anatol, Semenov, Alexei, SpringerLink (Online service)
Springer-Verlag
|
Cooper, Barry S., Lowe, Benedikt, SpringerLink (Online service)
Springer-Verlag GmbH.
|
Lipshteyn, Marina, McConnell, Ross M., Levit, Vadim E., SpringerLink (Online service)
Springer Berlin Heidelberg
|
Beckmann Arnold, Berger Ulrich, Tucker John V., L-we Benedikt, SpringerLink (Online service)
Springer-Verlag GmbH.
|