Hsiang, Jieh, SpringerLink (Online service)
Springer-Verlag
|
Bjørner, Dines, Broy, Manfred, Pottosin, Igor V., SpringerLink (Online service)
Springer-Verlag
|
Book, Ronald V., SpringerLink (Online service)
Springer-Verlag
|
Hermenegildo, Manuel, Swierstra, S. Doaitse, SpringerLink (Online service)
Springer-Verlag
|
Dershowitz, Nachum, SpringerLink (Online service)
Springer-Verlag
|
Hanus, Michael, Rodríguez-Artalejo, Mario, SpringerLink (Online service)
Springer-Verlag
|
Alur, Rajeev, Henzinger, Thomas A., SpringerLink (Online service)
Springer-Verlag
|
McRobbie, M. A., Slaney, J. K., SpringerLink (Online service)
Springer-Verlag
|
Ganzinger, Harald., SpringerLink (Online service)
Springer Berlin Heidelberg : Imprint: Springer
|
Freuder, Eugene C., SpringerLink (Online service)
Springer-Verlag
|
International Conference on Rewriting Techniques and Applications, Ganzinger, Harald, 1950-
Springer-Verlag
|
Dershowitz, Nachum, Lindenstrauss, Naomi, SpringerLink (Online service)
Springer-Verlag
|