Börger, Egon, Gurevich, Yuri, Meinke, Karl, SpringerLink (Online service)
Springer-Verlag
|
Börger, Egon, Jäger, Gerhard, Kleine Büning, Hans, Richter, Michael M., SpringerLink (Online service)
Springer-Verlag
|
Pacholski, Leszek., Tiuryn, Jerzy., SpringerLink (Online service)
Springer Berlin Heidelberg : Imprint: Springer
|
Dybjer, Peter, Nordström, Bengt, Smith, Jan, SpringerLink (Online service)
Springer-Verlag
|
Börger, E., Jäger, G., Kleine Büning, H., Martini, S., Richter, M. M., SpringerLink (Online service)
Springer-Verlag
|
Leivant, Daniel, SpringerLink (Online service)
Springer-Verlag
|
Kleine Büning, Hans, SpringerLink (Online service)
Springer-Verlag
|
Jones, Neil D., Hagiya, Masami, Sato, Masahiko, SpringerLink (Online service)
Springer-Verlag
|
Workshop on Computer Science Logic, Pacholski, Leszek, Tiuryn, Jerzy
Springer-Verlag
|
Borzyszkowski, Andrzej M., Sokołowski, Stefan, SpringerLink (Online service)
Springer-Verlag
|
Börger, Egon, Kleine Büning, Hans, Richter, Michael M., Schönfeld, Wolfgang, SpringerLink (Online service)
Springer-Verlag
|
MacNish, Craig, Pearce, David, Pereira, Luís Moniz, SpringerLink (Online service)
Springer-Verlag
|