A Compositional Semantics for Conditional Term Rewriting Systems

María Alpuente, Moreno Falaschi, María José Ramis, Germán Vidal. A Compositional Semantics for Conditional Term Rewriting Systems. In Henri E. Bal, editor, Proceedings of the IEEE Computer Society 1994 International Conference on Computer Languages, May 16-19, 1994, Toulouse, France. pages 171-182, IEEE Computer Society, 1994.

@inproceedings{AlpuenteFRV94:0,
  title = {A Compositional Semantics for Conditional Term Rewriting Systems},
  author = {María Alpuente and Moreno Falaschi and María José Ramis and Germán Vidal},
  year = {1994},
  tags = {semantics, term rewriting, composition, graph-rewriting, rewriting},
  researchr = {https://researchr.org/publication/AlpuenteFRV94%3A0},
  cites = {0},
  citedby = {0},
  pages = {171-182},
  booktitle = {Proceedings of the IEEE Computer Society 1994 International Conference on Computer Languages, May 16-19, 1994, Toulouse, France},
  editor = {Henri E. Bal},
  publisher = {IEEE Computer Society},
}