Dershowitz, Nachum., Lindenstrauss, Naomi., SpringerLink (Online service)
Springer Berlin Heidelberg : Imprint: Springer
|
Ganzinger, Harald, SpringerLink (Online service)
Springer-Verlag
|
International Workshop on Conditional (and Typed) Rewriting Systems, Dershowitz, Nachum, 1951-, Lindenstrauss, Naomi
Springer-Verlag
|
Kaplan, S., Okada, M., SpringerLink (Online service)
Springer-Verlag
|
Rusinowitch, Michaël, Rémy, Jean-Luc, SpringerLink (Online service)
Springer-Verlag
|
Berardi, Stefano, Coppo, Mario, SpringerLink (Online service)
Springer-Verlag
|
Fribourg, Laurent, Turini, Franco, SpringerLink (Online service)
Springer-Verlag
|
Hsiang, Jieh, SpringerLink (Online service)
Springer-Verlag
|
Dybjer, Peter, Nordström, Bengt, Smith, Jan, SpringerLink (Online service)
Springer-Verlag
|
Hermenegildo, Manuel, Penjam, Jaan, SpringerLink (Online service)
Springer-Verlag
|
Levi, Giorgio, Rodríguez-Artalejo, Mario, SpringerLink (Online service)
Springer-Verlag
|
Bruynooghe, Maurice, Wirsing, Martin, SpringerLink (Online service)
Springer-Verlag
|