Strictness analysis and polymorphic invariance.- Convergent term rewriting systems can be used fo...

The volume contains the 23 papers selected for presentation at the ESOP '88 Conference, Nancy 198...

This volume contains the papers presented at the Sixth International Conference on Logic for Prog...

This book constitutes the refereed proceedings of the 7th International Conference on Rewriting T...

On the Physical Design of PRAMs.- Synthesis for Testability: Binary Decision Diagrams.- Ähnlichke...