Heuristics for Completion in Automatic Proofs by Structural Induction - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Olav Lysne. Heuristics for Completion in Automatic Proofs by Structural Induction. Nord. J. Comput., 1(1):135-156, 1994.

@article{Lysne94:1,
  title = {Heuristics for Completion in Automatic Proofs by Structural Induction},
  author = {Olav Lysne},
  year = {1994},
  researchr = {https://researchr.org/publication/Lysne94%3A1},
  cites = {0},
  citedby = {0},
  journal = {Nord. J. Comput.},
  volume = {1},
  number = {1},
  pages = {135-156},
}

runs on WebDSL