Logicality of Conditional Rewrite Systems

@inproceedings{Yamada1997LogicalityOC,
  title={Logicality of Conditional Rewrite Systems},
  author={Toshiyuki Yamada and J{\"u}rgen Avenhaus and Carlos Lor{\'i}a-S{\'a}enz and Aart Middeldorp},
  booktitle={TAPSOFT},
  year={1997}
}
5 Citations
0 References
Similar Papers