Rewriting Techniques and Applications: 12th International Conference, RTA 2001,
75,24 €
Invited Talks. - Computing and Proving. - Rewriting for Deduction and Verification. - Regular Papers. - Universal Interaction Systems with Only Two Agents. - Beta Reduction Constraints. - From Higher-Order to First-Order Rewriting.
Jetzt bei Ebay:
