Boscarol, Mauro, Carlucci Aiello, Luigia, Levi, Giorgio, SpringerLink (Online service)
Springer-Verlag
|
International Conference on Computer Logic, Martin-Löf, Per, 1942-, Mint︠s︡, Grigori
Springer-Verlag
|
Boscarol, Mauro., Carlucci Aiello, Luigia., Levi, Giorgio., SpringerLink (Online service)
Springer Berlin Heidelberg : Imprint: Springer
|
Workshop on Computer Science Logic, Börger, Egon, 1946-
Springer-Verlag
|
FLOPS, Hu, henjiang,, Rodríguez Artalejo, M. (Mario)
Springer
|
Workshop on Computer Science Logic, Börger, Egon, 1946-
Springer-Verlag
|
Glasgow Workshop on Functional Programming, Hammond, Kevin, Turner, David N. (David Neil), 1968-, Sansom, Patrick, …
Springer-Verlag
|
Workshop on Computer Science Logic, Börger, Egon, 1946-
Springer-Verlag
|
Glasgow Workshop on Functional Programming, O'Donnell, John T, Hammond, Kevin
Springer-Verlag
|
Workshop on Computer Science Logic, Börger, Egon, 1946-, Kleine Büning, Hans, 1948-, Richter, Michael M., 1938-
Springer-Verlag
|
Fuhrmann, André, 1958-, Morreau, Michael
Springer-Verlag
|
Workshop on Computer Science Logic, Börger, Egon, 1946-, Kleine Büning, Hans, Richter, Michael M., 1938-
Springer-Verlag
|