Heering, Jan, Meinke, Karl, Möller, Bernhard, Nipkow, Tobias, SpringerLink (Online service)
Springer-Verlag
|
Goos, Gerhard, Hartmanis, Juris, Leeuwen, Jan, Wright, Joakim, Grundy, Jim, Harrison, John, SpringerLink (Online …
Springer-Verlag
|
Dowek, Gilles., Heering, Jan., Meinke, Karl., Möller, Bernhard., SpringerLink (Online service)
Springer Berlin Heidelberg : Imprint: Springer
|
Pearce, D., Wagner, G., SpringerLink (Online service)
Springer-Verlag
|
Kleine Büning, Hans, SpringerLink (Online service)
Springer-Verlag
|
Pacholski, Leszek, Tiuryn, Jerzy, SpringerLink (Online service)
Springer-Verlag
|
International Workshop on Higher-Order Algebra, Logic, and Term Rewriting, Dowek, Gilles
Springer
|
Melham, Thomas F., Camilleri, Juanito, SpringerLink (Online service)
Springer-Verlag
|
Heering, Jan., Meinke, Karl., Möller, Bernhard., Nipkow, Tobias., SpringerLink (Online service)
Springer Berlin Heidelberg : Imprint: Springer
|
Möller, Bernhard, SpringerLink (Online service)
Springer-Verlag
|
Börger, Egon, Gurevich, Yuri, Meinke, Karl, SpringerLink (Online service)
Springer-Verlag
|
Moller, Faron, Birtwistle, Graham, SpringerLink (Online service)
Springer-Verlag
|