Automatische Synthese rekursiver Programme als Beweisverfahren

  • Susanne Biundo

Part of the Informatik-Fachberichte book series (INFORMATIK, volume 302)

Table of contents

  1. Front Matter
    Pages N2-VIII
  2. Susanne Biundo
    Pages 1-13
  3. Susanne Biundo
    Pages 15-17
  4. Susanne Biundo
    Pages 19-41
  5. Susanne Biundo
    Pages 43-56
  6. Susanne Biundo
    Pages 57-90
  7. Susanne Biundo
    Pages 113-145
  8. Susanne Biundo
    Pages 147-192
  9. Susanne Biundo
    Pages 193-240
  10. Susanne Biundo
    Pages 241-243
  11. Back Matter
    Pages 245-259

About this book

Keywords

Automated Deduction Mathematical Induction Termersetzung Vollständigkeit program synthesis

Authors and affiliations

  • Susanne Biundo
    • 1
  1. 1.Deutsches Forschungszentrum für Künstliche Intelligenz (DFKI)Saarbrücken 11Deutschland

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-84744-8
  • Copyright Information Springer-Verlag Berlin Heidelberg 1992
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-55300-7
  • Online ISBN 978-3-642-84744-8
  • Series Print ISSN 0343-3005
  • About this book