Rewriting and Typed Lambda Calculi: Joint International Conferences, RTA and TLC
69,51 €
Rewriting and Typed Lambda Calculi. The 28 revised full papers and 3 short papers presented were carefully reviewed and selected from 87 submissions. - Unnesting of Copatterns. - Predicate Abstraction of Rewrite Theories.
Jetzt bei Ebay: