Higher-Order Algebra, Logic, and Term Rewriting: First International Workshop, H
67,13 €
Interaction systems. - Strong normalization of typeable rewrite systems. - Prototyping relational specifications using higher-order objects. - Theory interpretation in simple type theory. - The semantics of SPECTRUM.
Jetzt bei Ebay:
