Dershowitz, Nachum, SpringerLink (Online service)
Springer-Verlag
|
International Conference on Rewriting Techniques and Applications, Book, Ronald V.
Springer-Verlag
|
Hsiang, Jieh, SpringerLink (Online service)
Springer-Verlag
|
Börger, Egon, Jäger, Gerhard, Kleine Büning, Hans, Richter, Michael M., SpringerLink (Online service)
Springer-Verlag
|
Ganzinger, Harald, SpringerLink (Online service)
Springer-Verlag
|
Börger, Egon, Kleine Büning, Hans, Richter, Michael M., Schönfeld, Wolfgang, SpringerLink (Online service)
Springer-Verlag
|
Book, Ronald V., SpringerLink (Online service)
Springer Berlin Heidelberg : Imprint: Springer
|
Hermenegildo, Manuel, Swierstra, S. Doaitse, SpringerLink (Online service)
Springer-Verlag
|
Deransart, P., Jourdan, M., SpringerLink (Online service)
Springer-Verlag
|
Dershowitz, Nachum, Lindenstrauss, Naomi, SpringerLink (Online service)
Springer-Verlag
|
Bjørner, Dines, Broy, Manfred, Pottosin, Igor V., SpringerLink (Online service)
Springer-Verlag
|
Fritzson, Peter A., SpringerLink (Online service)
Springer-Verlag
|