Conditional Term Rewriting Systems: Third International Workshop, CTRS-92, Pont-
68,50 €
(Context rewriting. - Consistency and semantics of equational definitions over predefined algebras. - Completeness of combinations of conditional constructor systems. -calculus) systems. - Generic induction proofs.
Jetzt bei Ebay:
