Ganzinger, Harald, SpringerLink (Online service)
Springer-Verlag
|
Hanus, Michael, Rodríguez-Artalejo, Mario, SpringerLink (Online service)
Springer-Verlag
|
Book, Ronald V., SpringerLink (Online service)
Springer-Verlag
|
International Conference on Rewriting Techniques and Applications, Hsiang, Jieh, 1954-
Springer-Verlag
|
Hsiang, Jieh., SpringerLink (Online service)
Springer Berlin Heidelberg : Imprint: Springer
|
Wolper, Pierre, SpringerLink (Online service)
Springer-Verlag
|
Dershowitz, Nachum, SpringerLink (Online service)
Springer-Verlag
|
Pitt, David, Rydeheard, David E., Johnstone, Peter, SpringerLink (Online service)
Springer-Verlag
|
Hermenegildo, Manuel, Swierstra, S. Doaitse, SpringerLink (Online service)
Springer-Verlag
|
Fritzson, Peter A., SpringerLink (Online service)
Springer-Verlag
|
Bjørner, Dines, Broy, Manfred, Pottosin, Igor V., SpringerLink (Online service)
Springer-Verlag
|
Börger, Egon, Jäger, Gerhard, Kleine Büning, Hans, Richter, Michael M., SpringerLink (Online service)
Springer-Verlag
|