This is the sixth in a series of conference proceedings of international conferences on computer algebra held in Europe. All the preceding ones have also been p

This volume - honoring the computer science pioneer Joseph Goguen on his 65th Birthday - includes 32 refereed papers by leading researchers in areas spanned by

Sanford Schwartz offers a penetrating new reading of Lewis's celebrated Space Trilogy. Taken together, Schwartz's readings call into question Lewis's self-style