Derivation of Efficient Programs for Computing Sequences of Actions

Sorry, there's nothing here.

Topics

Cite this paper

@article{Pettorossi1987DerivationOE, title={Derivation of Efficient Programs for Computing Sequences of Actions}, author={Alberto Pettorossi}, journal={Theor. Comput. Sci.}, year={1987}, volume={53}, pages={151-167} }