Inductive Inference of Monotonic Formal Systems from Positive Data

Takeshi Shinohara. Inductive Inference of Monotonic Formal Systems from Positive Data. In ALT. pages 339-351, 1990.

@inproceedings{Shinohara90,
  title = {Inductive Inference of Monotonic Formal Systems from Positive Data},
  author = {Takeshi Shinohara},
  year = {1990},
  tags = {data-flow},
  researchr = {https://researchr.org/publication/Shinohara90},
  cites = {0},
  citedby = {0},
  pages = {339-351},
  booktitle = {ALT},
}