Search dblp for Publications

export results for "Can inductive proofs be automated?"

 download as .bib file

@article{DBLP:journals/eatcs/Padawitz89,
  author       = {Peter Padawitz},
  title        = {Can inductive proofs be automated? Part {II}},
  journal      = {Bull. {EATCS}},
  volume       = {37},
  pages        = {168--174},
  year         = {1989},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eatcs/Padawitz89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/Padawitz88,
  author       = {Peter Padawitz},
  title        = {Can inductive proofs be automated?},
  journal      = {Bull. {EATCS}},
  volume       = {35},
  pages        = {163--170},
  year         = {1988},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eatcs/Padawitz88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics