Untersuchungen zur Formalisierung im Recht als Beitrag zur Grundlagenforschung juristischer Datenverarbeitung (UFORED)

  • Herbert Fiedler
  • Thomas Barthel
  • Gerhard Voogd
Book

Part of the Forschungsberichte des Landes Nordrhein-Westfalen book series (FOLANW, volume 3180)

Table of contents

  1. Front Matter
    Pages I-VIII
    PDF
  2. Informatik und Recht
    Herbert Fiedler, Thomas Barthel, Gerhard Voogd
    Pages 1-76
  3. Formale Methoden im Recht — Bestandsaufnahme
    Herbert Fiedler, Thomas Barthel, Gerhard Voogd
    Pages 77-163
  4. Beispiel: Formalisierung der gesetzlichen Erbfolgeregelung — Vergleichende Betrachtung von Formalisierungsinstrumenten
    Herbert Fiedler, Thomas Barthel, Gerhard Voogd
    Pages 164-195
  5. Beziehungen zu Konzepten der Rechtstheorie
    Herbert Fiedler, Thomas Barthel, Gerhard Voogd
    Pages 196-206
  6. Vergleich formaler Methoden im Recht
    Herbert Fiedler, Thomas Barthel, Gerhard Voogd
    Pages 207-224
  7. Auswirkungen der Formalisierung
    Herbert Fiedler, Thomas Barthel, Gerhard Voogd
    Pages 225-240
  8. Literaturverzeichnis
    Herbert Fiedler, Thomas Barthel, Gerhard Voogd
    Pages 241-252
  9. Back Matter
    Pages 253-253
    PDF

About this book

Keywords

Datenverarbeitung Fallbearbeitung Gesellschaft Informatik Informationstechnik (IT) Mathematik Recht Rechtswissenschaft Verwaltung

Authors and affiliations

  • Herbert Fiedler
    • 1
  • Thomas Barthel
    • 1
  • Gerhard Voogd
    • 1
  1. 1.Forschungsstelle für Juristische Informatik und AutomationUniversität BonnDeutschland

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-322-87555-6
  • Copyright Information Springer Fachmedien 1984
  • Publisher Name VS Verlag für Sozialwissenschaften, Wiesbaden
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-531-03180-4
  • Online ISBN 978-3-322-87555-6
  • About this book