Logic-Based Program Synthesis and Transformation: 26th International Symposium,
69,51 €
The 20 revised full papers presented together with the abstracts of 3 invited talks were carefully reviewed and selected from 38 submissions. Partial Evaluation of Order-sorted Equational Programs modulo Axioms.
Jetzt bei Ebay:
