Relaxed models for rewriting logic

Dorel Lucanu. Relaxed models for rewriting logic. Theoretical Computer Science, 290(1):265-289, 2003.

@article{Lucanu03:0,
  title = {Relaxed models for rewriting logic},
  author = {Dorel Lucanu},
  year = {2003},
  tags = {meta-model, graph-rewriting, logic, Meta-Environment, rewriting logic, rewriting},
  researchr = {https://researchr.org/publication/Lucanu03%3A0},
  cites = {0},
  citedby = {0},
  journal = {Theoretical Computer Science},
  volume = {290},
  number = {1},
  pages = {265-289},
}