Martin-Löf, Per., Mints, Grigori., SpringerLink (Online service)
Springer Berlin Heidelberg : Imprint: Springer
|
Comyn, G., Fuchs, N. E., Ratcliffe, M. J., SpringerLink (Online service)
Springer-Verlag
|
International Conference on Computer Logic, Martin-Löf, Per, 1942-, Mint︠s︡, Grigori
Springer-Verlag
|
Deransart, P., Jourdan, M., SpringerLink (Online service)
Springer-Verlag
|
Bruynooghe, Maurice, Penjam, Jaan, SpringerLink (Online service)
Springer-Verlag
|
Delobel, C., Kifer, M., Masunaga, Y., SpringerLink (Online service)
Springer-Verlag
|
Maluszyński, Jan, Wirsing, Martin, SpringerLink (Online service)
Springer-Verlag
|
Pfenning, Frank, SpringerLink (Online service)
Springer-Verlag
|
Bruynooghe, Maurice, Wirsing, Martin, SpringerLink (Online service)
Springer-Verlag
|
Furukawa, Koichi, Tanaka, Hozumi, Fujisaki, Tetsunosuke, SpringerLink (Online service)
Springer-Verlag
|
Deransart, Pierre, Maluszyński, Jan, SpringerLink (Online service)
Springer-Verlag
|
Meyer, Albert R., Taitslin, Michael A., SpringerLink (Online service)
Springer-Verlag
|