Rewriting Techniques and Applications: 10th International Conference, RTA'99, Tr
68,19 €
Session 1. - Solved Forms for Path Ordering Constraints. - Strategic Pattern Matching. - Session 2. - On the Strong Normalization of Natural Deduction with Permutation-Conversions. - Normalisation in Weakly Orthogonal Rewriting.
Jetzt bei Ebay:
