Towards an efficient implementation of distributive programs
Algebraic'97 Proceedings of the 2nd international conference on Theory and Practice of Algebraic Specifications
The Topos of Labelled Trees: A Categorical Semantics for SCCS
Fundamenta Informaticae
Hi-index | 0.00 |