Tables, Graphs and Logic for Induction

Kenichi Yoshida, Hiroshi Motoda. Tables, Graphs and Logic for Induction. In Koichi Furukawa, Donald Michie, Stephen Muggleton, editors, Machine Intelligence 15, Intelligent Agents [St. Catherine s College, Oxford, July 1995]. pages 298-311, Oxford University Press, 1995.

@inproceedings{YoshidaM95,
  title = {Tables, Graphs and Logic for Induction},
  author = {Kenichi Yoshida and Hiroshi Motoda},
  year = {1995},
  tags = {graph-rewriting, logic, rewriting logic, rewriting},
  researchr = {https://researchr.org/publication/YoshidaM95},
  cites = {0},
  citedby = {0},
  pages = {298-311},
  booktitle = {Machine Intelligence 15, Intelligent Agents [St. Catherine s College, Oxford, July 1995]},
  editor = {Koichi Furukawa and Donald Michie and Stephen Muggleton},
  publisher = {Oxford University Press},
  isbn = {0-19-853867-7},
}