Dybjer, Peter., Nordström, Bengt., Smith, Jan., SpringerLink (Online service)
Springer Berlin Heidelberg : Imprint: Springer
|
Pacholski, Leszek, Tiuryn, Jerzy, SpringerLink (Online service)
Springer-Verlag
|
Berardi, Stefano, Coppo, Mario, SpringerLink (Online service)
Springer-Verlag
|
Hermenegildo, Manuel, Penjam, Jaan, SpringerLink (Online service)
Springer-Verlag
|
International Workshop on TYPES, Dybjer, Peter, Nordström, Bengt, Smith, Jan M
Springer-Verlag
|
Dershowitz, Nachum, Lindenstrauss, Naomi, SpringerLink (Online service)
Springer-Verlag
|
Deransart, Pierre, Maluszyński, Jan, SpringerLink (Online service)
Springer-Verlag
|
Myers, J. Paul, O'Donnell, Michael J., SpringerLink (Online service)
Springer-Verlag
|
Barendregt, Henk, Nipkow, Tobias, SpringerLink (Online service)
Springer-Verlag
|
Pettorossi, A., SpringerLink (Online service)
Springer-Verlag
|
Fribourg, Laurent, Turini, Franco, SpringerLink (Online service)
Springer-Verlag
|
Börger, Egon, Gurevich, Yuri, Meinke, Karl, SpringerLink (Online service)
Springer-Verlag
|