Heering, Jan., Meinke, Karl., Möller, Bernhard., Nipkow, Tobias., SpringerLink (Online service)
Springer Berlin Heidelberg : Imprint: Springer
|
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-Verlag
|
Bezem, Marc, Groote, Jan Friso, SpringerLink (Online service)
Springer-Verlag
|
International Workshop on Higher-Order Algebra, Logic, and Term Rewriting, Heering, J
Springer-Verlag
|
Moller, Faron, Birtwistle, Graham, SpringerLink (Online service)
Springer-Verlag
|
Dowek, Gilles., Heering, Jan., Meinke, Karl., Möller, Bernhard., SpringerLink (Online service)
Springer Berlin Heidelberg : Imprint: Springer
|
Gabbay, Dov M., Ohlbach, Hans Jürgen, SpringerLink (Online service)
Springer-Verlag
|
Barendregt, Henk, Nipkow, Tobias, SpringerLink (Online service)
Springer-Verlag
|
Pacholski, Leszek, Tiuryn, Jerzy, SpringerLink (Online service)
Springer-Verlag
|
Börger, Egon, Gurevich, Yuri, Meinke, Karl, SpringerLink (Online service)
Springer-Verlag
|
Joyce, Jeffrey J., Seger, Carl-Johan H., SpringerLink (Online service)
Springer-Verlag
|