Skip to main content
SpringerLink
Log in

Literaturverzeichnis

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

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

  • 25 Accesses

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 44.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 59.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Literatur

  • G. ALBRECHT: Die Abschaffung des Beitragsmarkenverfahrens, in: Verband Deutscher Rentenversicherungsträger (Hrsg. ), Integrierte Datenverarbeitung in der Rentenversicherung - Schriften zur Fortbildung; Frankfurt 1975, S. 3 ff.

    Google Scholar 

  • C. ALCHOURRON/E. BULYGIN: Normative Systems, Wien/New York 1971

    Google Scholar 

  • L. E. ALLEN: Language, Law and Logic: Piain Legal Drafting for the Electronic Age, in: B. Niblitt (Hrsg. ), Computer Science and Law, Cambridge University Press, Cambridge 1980, S. 75 ff.

    Google Scholar 

  • ders.: Towards a Normalized Language to Clarify the Structure of Legal Discourse, in: A. A. Martino (Hrsg. ),’Deontic Logic, Computational Linguistics and Legal Information Systems, Band 2, North Holland/Amsterdam/New York/Oxford 1982, S. 349 ff.

    Google Scholar 

  • G. ANDERS: Die Antiquiertheit des Menschen, Band 1, München, 5. Auflage 1980

    Google Scholar 

  • A. BAMMÉ u. a.: Maschinen - Menschen/Mensch - Maschinen, Reinbek 1983

    Google Scholar 

  • J. BARROW/R. C. CURNOW: The Future of Information Technology, Internal Report of Social Policy Research Unit, University of Sussex, Brighton 1978

    Google Scholar 

  • Th. BARTHEL: Structured Programs as a Paradigm of Structured Laws, in: B. Niblett (Hrsg. ), Computer Science and Law, Cambridge 1980, S. 151 ff.

    Google Scholar 

  • F. L. BAUER/G. GOOS: Informatik, Band 1, Berlin/Heidelberg/New York, 2. Auflage 1973

    Google Scholar 

  • U. BECK: Objektivität und Normativität, Reinbek 1974

    Google Scholar 

  • J. BECKER: Widersprüche bei der Informati sierung von Politik und Gesellschaft, Vortrag auf der Tagung ‘Die Zukunft der Computerqe-sellschaft’ der ev. Akademie Arnoldsheim, Bonn- Bad Godesberg Februar 1983

    Google Scholar 

  • W. BERGMANN: Wenn der Steuerpflichtige ein Kind hat, in: DSWR 1980 Heft 10, S. 224 ff.

    Google Scholar 

  • BMFT (Hrsg. ): Forschungsbericht FB DV 76–03

    Google Scholar 

  • G. BORCHERT: Zur Anwendung mathematischer Methoden in der Rechtswissenschaft, Dissertation FB Rechtswissenschaft, Regensburg 1978

    Google Scholar 

  • H. BRAVERMANN: Die Arbeit im modernen Produktionsprozeß, Frankfurt/New York 1980

    Google Scholar 

  • H. BRINCKMANN u. a.: Automatisierte Verwaltung, Frankfurt/New York 1981

    Google Scholar 

  • H. BRINCKMANN: Datenverarbeitung und öffentliche Aufgaben, in: ÖGI (Hrsg. ), Informationssysteme für die 80er Jahre, Band 1, Linz 1980, S. 15

    Google Scholar 

  • ders.: Dezentrale Datenverarbeitung für eine dezentrale Verwaltung - 2. Teil, in: ÖVD 1979 Heft 11, S. 19 ff.

    Google Scholar 

  • R. BUDDE u. a.: Untersuchungen über Maßnahmen zur Verbesserung der Software-Produktion, München/Wien 1980

    Google Scholar 

  • H. -P. BULL: Zweiter Tätigkeitsbericht des Bundesbeauftragten für den Datenschutz, Bonn 1980

    Google Scholar 

  • W. BURKAMP: Begriff und Beziehung, Leipzig 1927

    Google Scholar 

  • A. CHURCH: An Unsolvable Problem of Elementary Number Theory, Amer. J. Math. 58, (1936), S. 345 ff.

    Google Scholar 

  • Ch. K. COBB: Law, Logic and Rationality, in: Jurimentrics Journal Band 11 (1970), S. 1 ff.

    Google Scholar 

  • A. DANZIN: Die gesellschaftlichen Auswirkungen der Datenverarbeitung, Birlinghoven 1978

    Google Scholar 

  • R. A. DEMILLO/R. J. LIPTON/A. J. PERLIS: Social Processes and Proofs of Theorems and Programs in: CACM vol. 22 (1979) Nr. 5, S. 271 ff.

    Google Scholar 

  • E. W. DIJKSTRA: On a Political Pamphlet from the Middle Ages, in: SIGSOFT Band 3 Heft 2 (1979), S. 14 ff.

    Google Scholar 

  • C. EBERLE/H. GARSTKA: Soll das Verwaltungsverfahren durch einen bundesweiten Programmabi aufplan determiniert werden?, in: ÖVD 1972 Heft 2, S. 265 ff.

    Google Scholar 

  • H. FIEDLER: Automationsgerechte Rechtssetzung im Rahmen der Gesetzgebungstheorie, in: J. Rödig (Hrsg. ), Studien zu einer Theorie der Gesetzgebung, Berlin/New York 1976, S. 666 ff.

    Chapter  Google Scholar 

  • ders.: Die Bestimmtheit der gesetzlichen Straftatbestände als methodisches und verfassungsrechtliches Problem, Habilschrift 1969

    Google Scholar 

  • ders.: Functional Relations between Legal Régulations and Software, in: B. Niblett (Hrsg. ), Computer Science and Law, Cambridge 1980, S. 137 ff.

    Google Scholar 

  • ders.: Juristische Logik in mathematischer Sicht, in: ARSP LII/I (1966), S. 93 ff.

    Google Scholar 

  • ders.: Rechenautomaten in Recht und Verwaltung, in: JZ 1966, S. 789 ff.

    Google Scholar 

  • ders.: Rechtsinformatik und juristische Tradition, Festschrift für H. Welzel 1974, S.

    Google Scholar 

  • ders.: Ulrich Klug’s juristische Logik, in: ARSP XLV/3 (1959), S. 441 ff.

    Google Scholar 

  • ders.: Wandlungen der ‘automationsqerechten Rechtssetzung’, in: DVR Band 1 Heft 1 (1972), S. 41 ff.

    Google Scholar 

  • ders.: ‘Unbestimmte Begriffe’ in Datenschutzgesetzen, in: Datenschutz und Datensicherung 1980, Heft 2, S. 75 ff.

    Google Scholar 

  • ders.: Vom Datenschutz zum Informationsrecht, GMD-Spiegel 1977 Heft 3, S. 26 ff.

    Google Scholar 

  • ders.: Einführung in die Rechtsinformatik, Vorlesungsskript Bonn Wintersemester 1980/81

    Google Scholar 

  • L. FOHMANN: Die informationale Programmiersprache IPL, Manuskript, Neckargemünd 1983

    Google Scholar 

  • ders.: Mathematische Theorie der Ordnungen. Eine Einführung in Theorie und Anwendungen als Paradigma einer rechtswissenschaftlich relevanten Theorie im Spannungsfeld zwischen reiner und angewandter Mathematik, in: DVR Band 8 Heft 4 (1979), S. 297 ff.

    Google Scholar 

  • R. FRANZEN: Strukturanalyse der gesetzlichen Erbfolge durch Entscheidungstabellen und logische Ausdrücke, GMD/IDR-Entwicklungsunterlage ERB-3, Birlinghoven 1974

    Google Scholar 

  • G. FRIEDRICHS/A. SCHAFF (Hrsg. ): Auf Gedeih und Verderb, Mikroelektronik und Gesellschaft, Wien/München/ZLirich 1982

    Google Scholar 

  • H. J. GENRICH/K. LAUTENBACH/P. S. THIAGARAJAN: Elements of General Net Theory, in: W. Brauer (Hrsg. ), Net Theory and Applications, Berli n/Hei del berg/New York 1980, S. 21 ff.

    Google Scholar 

  • GMD (Hrsg. ): Preprints der International Working Conference on Model Realism, Bad Honnef April 1982

    Google Scholar 

  • ders.: Forschungs- und Entwicklungsprogramm 1983, Bonn 1983, S. 45

    Google Scholar 

  • B. v. GREIFF: Gesellschaftsform und Erkenntnisform, Frankfurt/New York 1977

    Google Scholar 

  • D. GRIEF (Hrsg. ): Programming Methodology, New York/Heidelberg/Berlin 1978

    Google Scholar 

  • M. HAMMER/J. KUNIN: OSL Office Specification Language, Version I, Draft paper, July 1980, MIT

    Google Scholar 

  • F. HARARY: Graphentheorie, Mlinchen/Wien 1974

    Google Scholar 

  • P. E. HART: Directions for AI in the Eighties, in: SIGART 1982 Heft 1, S. 11 ff.

    Google Scholar 

  • N. HARTMANN: Das Problem des geistigen Seins, Berlin, 3. Auflage 1962

    Google Scholar 

  • H. HEIBEY; B. LUTTERBECK; M. TÖPEL: Arbeitsbedingungen und Verwaltungsleistungen in automatisierten Verfahren, in: ÖVD 1977 Heft 10, S. 3 ff.

    Google Scholar 

  • M. HERBERGER/D. SIMON: Wissenschaftstheorie für Juristen, Frankfurt 1980

    Google Scholar 

  • H. HERMES: Aufzähl barkeit, Entscheidbarkeit, Berechenbarkeit, Berlin/Hei del berg/New York, 2. Auflage 1971

    Google Scholar 

  • D. HILBERT/W. ACKERMANN: Grundzüge der theoretischen Logik, Berlin/Heidelberg/New York, 6. Auflage 1972

    Google Scholar 

  • R. HILPINEN: New Studies in Deontic Logic - Norms, Actions, and the Foundation of Ethics, D. Reidel, Publishing Company Dordrecht, Boston/Londan 1981

    Google Scholar 

  • W. HOFFMANN-RIEM (Hrsg. ): Bürgernahe Verwaltung? Analysen über das Verhältnis von Bürger und Verwaltung, Neuwied/Darmstadt 1979

    Google Scholar 

  • D. R. HOFSTADTER: Gödel Escher Bach, Harmondsworth 1980

    Google Scholar 

  • N. W. HOHFELD: Fundamental Legal Conceptions as applied to Judicial Reasoning, Yale University Press, New Haven/London, 4. Auflage 1965

    Google Scholar 

  • R. HOHNER; H. SCHÖLLER: Regeln für den Umgang mit dem Bürger - Pragmatische Ansätze zur Sicherung der Interaktionsfähigkeit der Verwaltung, in: W. HOFFMANN-RIEM (Hrsq. ), Bürgernahe Verwaltung? Neuwied/Darmstadt 1979, S. 161 ff.

    Google Scholar 

  • J. E. HOPCROFT; J. D. ULLMAN: Formal Languages and their Relation to Automata, Reading 1969

    Google Scholar 

  • A. HÜNING: Technische Vernunft auf dem Weg zur Systemoptimierung, Weltkongreß für Philosophie 1978, abgedruckt in: IBM-Nachrichten, 29. Jahrgang (Heft 244), S. 13 ff.

    Google Scholar 

  • M. JANTZEN/R. VALK: Formal Properties of Place /Transition Nets, in: W. Brauer (Hrsg. ), Net Theory and Applications, Berlin/Hei del berg/New York 1980, S. 165 ff.

    Google Scholar 

  • N. JONES/L. LANDWEBER/Y. LIEN: Complexity of Some Problems in Petri Nets, in: Theoretical Computer Science Band 4 (1977), S. 277 ff.

    Google Scholar 

  • S. JONES: Control Structures in Legislation, in:B. Niblett (Hrsg. ), Computer Science and Law, Cambridge 1980, S. 157 ff.

    Google Scholar 

  • S. JONES u. a.: LEGOL-2: A Language Based on the Relational Algebra for Specifying Legislation, LSE Systems Research Group, London School of Economics 1978

    Google Scholar 

  • J. KANT: Kritik der reinen Vernunft, in der von Weischedel besorgten Ausgabe A 58/B 82

    Google Scholar 

  • A. KAPLAN: The Conduct of Inquiry, San Francisco 1964, zit. nach: J. Weizenbaum, Die Macht der Computer und die Ohnmacht der Vernunft, Frankfurt 1977, S. 190, Fußnote 3

    Google Scholar 

  • KASSELER PROJEKT: Verwaltungsautomation Heft 17, Die Abbildung von Gesetzestexten auf Formularen in der Rentenversicherung, März 1979

    Google Scholar 

  • H. KELSEN: Allgemeine Theorie der Normen, Wien 1979

    Google Scholar 

  • KGSt: Bürger und Verwaltung - Grundlagen und Verfahren, KGSt-Bericht 4/1979, Köln Mai 1979

    Google Scholar 

  • W. KILIAN: Juristische Entscheidung und elektornische Datenverarbeitung, Darmstadt 1974

    Google Scholar 

  • H. KINDERMANN (Hrsg. ): Theorie der Gesetzgebung, Berlin/Heidelberg/New York 1982

    Google Scholar 

  • U. KLUG: Juristische Logik, Berlin/Heidelberg/New York, 4. Auflage 1982

    Google Scholar 

  • H. -J. KOCH/H. RÜSSMANN: Juristische Begründungslehre, München 1982

    Google Scholar 

  • M. KÜHN: CAD und Arbeitssituation, Berlin/Heidelberg/New York 1980

    Google Scholar 

  • W. LABOV: Die Widerspiegelung sozialer Prozesse in sprachlichen Strukturen, in: K. Gloy; B. Badura (Hrsg. ), Soziologie der Kommunikation, Stuttgart/Bad Cannstatt 1972, S. 309 ff.

    Google Scholar 

  • K. LARENZ: Methodenlehre der Rechtswissenschaft, Berlin/Heidelberg/New York, 3. Auflage 1975

    Google Scholar 

  • H. LEHNER; G. MERAN; J. MÖLLER: Der Klirrfaktor in der Frohbotschaft, aus: DIE TAGESZEITUNG v. 7. 10. 1982, S. 12 ff.

    Google Scholar 

  • H. LENK (Hrsg. ): Normenlogik, Pul lach bei München 1974

    Google Scholar 

  • K. LENK/K. GRIMMER: Datenverarbeitung und Rationalisierung in der Steuerverwaltung, Vortrag bei der deutschen Vereinigung für politische Wissenschaft, Arbeitsgruppe A 2, Bonn, 4. bis 7. 10. 1977

    Google Scholar 

  • K. LENK: Probleme der Verwaltungsinnovation durch DV-gestützte Verfahren, in: ÖVD 1980 Heft 10, S. 4

    Google Scholar 

  • ders.: Gesellschaftliche Auswirkungen der Informationstechnik in: Nachrichten für Dokumentation 33/1982 Nr. 6, S. 200 ff.

    Google Scholar 

  • ders.: Implikationen der Verwaltungsautomation für das Verhältnis von Bürger und Verwaltung, in: W. HOFFMANN-RIEM (Hrsg. ), Bürgernahe Verwaltung? Neuwied/Darmstadt 1979, S. 140 ff.

    Google Scholar 

  • ders.: Informationstechnik und Gesellschaft, in: G. Friedrichs; A. Schaff, Auf Gedeih und Verderb - Mikroelektronik und Gesellschaft, Wien/München/Zürich 1982, S. 292 ff.

    Google Scholar 

  • W. LEINFELLNER: Einführung in die Erkenntnis- und Wissenschaftstheorie, Mannheim 1967

    Google Scholar 

  • P. C. LOCKEMANN/A. SCHREINER/H. TRAUBOTH; M. KLOPPROGGE: Systemanalyse - DV-Einsatzplanung Berlin/Heidelberg/New York 1983

    Google Scholar 

  • A. L. LUFT: Rationaler Sprachgebrauch und orthosprachliche Standardisierung als Grundlage des Software Engineering, in: Informatik-Spektrum Band 5 Heft 4 (1982), S. 209 ff.

    Google Scholar 

  • ders.: Zur Bedeutung formaler Spezifikationsmethoden beim Software Engineering, in: Angewandte Informatik 1982 Heft 4, S. 218 ff.

    Google Scholar 

  • N. LUHMANN: Funktion und Folgen formaler Organisation, Berlin, 2. Auflage 1972

    Google Scholar 

  • R. LUTZ: Informationen aus der Leitung, Gefühle aus der Steckdose; in: PSYCHOLOGIE HEUTE, Februar 1983, S. 20 ff.

    Google Scholar 

  • R. MAYNTZ: Modellkonstruktion: Ansatz, Typen und Zweck, in: dieselbe (Hrsg. ), Formalisierte Modelle in der Soziologie, Neuwied/Berlin 1967

    Google Scholar 

  • L. McCARTY; N. S. SRIDHARAN: A Computational Theory of Legal Argument, in: Technical Report LRP-TR-13, Laboratory for Computer Science Research, Rutgers University 1982

    Google Scholar 

  • L. T. McCARTY: An Experiment in Artificial Intelligence and Legal Reasoning, in: DVR Band 5 Heft 4 1976), S. 305 ff.

    Google Scholar 

  • ders.: Some Requirements for a Computer-Based Legal Consultant, Technical Report LRP-TR-8,LCSR State University of New Jersey/Rutgers Juli 1980

    Google Scholar 

  • ders.: The Implementation of TAXMAN II: An Experiment in Artificial. Intelligence and Legal Reasoning, University of New York at Buffalo November 1978

    Google Scholar 

  • J. A. MELDMAN/A. W. HOLT: Petri Nets and Legal Systems, in: Jurimetrics Journal Band’12 (1971), S. 65 ff.

    Google Scholar 

  • P. MERLIN: A Study of the Recoverability of Computing Systems, Ph. D. Thesis, U. C. - Irvine 1975

    Google Scholar 

  • J. METZNER/B. BARNES: Decision Table Languages and Systems, New York/San Francisco/London 1977

    Google Scholar 

  • R. MICHAELSON: Application of an Expert Computer System to Federal Tax Planning, in: SIGART 1982 Heft 10, S. 18 ff.

    Google Scholar 

  • O. NEGT: Menschenrechte als Selbstverwirklichungsrechte, Dokumentation eines Vortrags, aus: FRANKFURTER RUNDSCHAU v. 4. 6. 1982

    Google Scholar 

  • U. NEUMANN: Die Kritik der juristischen Logik, in: A. Kaufmann; W. Hassemer (Hrsg. ), Einführung in die Rechtsphilolsophie und Rechtstheorie der Gege-wart, Heidelberg/Karlsruhe 1977, S. 139 ff.

    Google Scholar 

  • B. NIBLETT: Computer Science and Law–to Introductory Disaission, in: ders. (Hrsg. ), Computer Science and Law, Cambridge 1980, S. 7–19

    Google Scholar 

  • S. NORA/A. MINC: Die Informatisierung der Gesellschaft, Frankfurt/New York 1979

    Google Scholar 

  • T. ÖHLIMGER: Methodik der Gesetzgebung, Wien/New York 1982

    Google Scholar 

  • C. A. PETRI: Introduction to General Net Theory, in: W. Brauer (Hrsg. ), Net Theory and Applications, Berlin/Hei delberg/New York 1980, S. 14 ff.

    Google Scholar 

  • H. PIETSCHMANN: Das Ende des naturwissenschaftlichen Zeitalters, Wien/Hamburg 1980

    Google Scholar 

  • A. PODLECH: Adressenverlage, die Mengenlehre und der Entwurf

    Google Scholar 

  • ders.: eines Bundesdatenschutzgesetzes, in: DVR Band 2 Heft 2/3 (1973), S. 190 ff.

    Google Scholar 

  • ders.: Architektonik einer möglichen Rechtstheorie in: Rechtstheorie 1976 Heft 1, S. 1 ff.

    Google Scholar 

  • ders.: Mathematische Methoden in der Rechtswissenschaft, in: A. Podlech (Hrsg. ), Rechnen und Entscheiden, Berlin 1977, S. 261 ff.

    Google Scholar 

  • ders.: Zur Axiomatisierung der öffentlich-rechtlichen Dogmatik, in: A. Podlech (Hrsg. ), Rechnen und Entscheiden, Berlin 1977, S. 173 ff.

    Google Scholar 

  • ders.: Zur Theorie einer juristischen Dogmatik, in: A. Podlech (Hrsg. ), Rechnen und Entscheiden, Berlin 1977, S. 145 ff.

    Google Scholar 

  • ders.: Entwurf einer Rechtstheorie als Strukturtheorie positiver dogmatisch gefaßter Rechtsordnungen, in: A. Podlech (Hrsg. ), Rechnen und Entscheiden, Berlin 1977, S. 13 ff.

    Google Scholar 

  • W. D. RAUCH: Büroi nformati onssysteme, Wien/Köln/Graz 1982

    Google Scholar 

  • P. RAULEFS: Methoden der Künstlichen Intelligenz: Obersicht und Anwendungen in Expertensystemen, in: J. Nehmer (Hrsg. ), Gl - 12,Jahrestagung, Proceedings, Berlin/Heidelberg/New York 1982, S. 170 ff.

    Chapter  Google Scholar 

  • J. REESE u. a.: Gefahren der informationstechnologischen Entwicklung, Frankfurt 1979

    Google Scholar 

  • L. REISINGER: Rechts i nforma ti k, Berlin/New York 1977

    Google Scholar 

  • G. RINGWALD: Normanalyse mit Formalismen der EDV, München 1981

    Google Scholar 

  • RKW (Hrsg. ): Rationalisierung und menschengerechte Arbeitsgestaltung in der öffentlichen Verwaltung, Eschborn 1980

    Google Scholar 

  • U. RÖDEL/T. GULDIMANN: Sozialpolitik als soziale Kontrolle, in: T. Guldimann; M. Rodenstein; U. Rödel; F. Stille, Sozialpolitik als soziale Kontrolle, Starnberger Studien, Band 2, Frankfurt 1978, S. 11 ff.

    Google Scholar 

  • J. RÖDIG: Axiomatisierbarkeit juristischer Systeme, in: A. Kaufmann (Hrsg. ), Münchner Ringvorlesung - EDV und Recht - Band 6, München 1973, S. 49–90 (S. 52 )

    Google Scholar 

  • ders.: Axiomatisierbarkeit juristischer Systeme, in: DVR Band 1 Heft 2/3 (1972/73), S. 170 ff.

    Google Scholar 

  • ders.: Die Theorie des gerichtlichen Erkenntnisverfahrens, Berlin/Heidelberg/New York 1973

    Google Scholar 

  • ders.: Ein Kalkül des juristischen Schließens, in: J. Rödig, Schriften zur juristischen Logik, Berlin/Heidelberg/New York 1980, S. 107 ff.

    Google Scholar 

  • ders.: Schriften zur juristischen Logik, Berlin/Heidelberg/New York 1980

    Google Scholar 

  • ders.: Ober die Notwendigkeit einer besonderen Logik der Normen, in: Maihofer u. a. (Hrsg. ), Rechtstheorie als Grundlagenwissenschaft der Rechtswissenschaft, Jahrbuch für Rechtstheorie und Rechtssoziologie, Band 2 (1972), S. 163 ff.

    Google Scholar 

  • A. ROLF: Zur Veränderung der Arbeit in Büro und Verwaltung durch Informationstechnik, Münster 1983

    Google Scholar 

  • B. RUSSELL: Vagueness, in: The Australian Journal of Psycholoay and Philosophy, Band 1 (1923), S. 84 ff.

    Google Scholar 

  • B. RUSSELL: zit. nach H. Fiedler, Die Bestimmtheit der gesetzlichen Straftatbestände als methodisches und verfassungsrechtliches Problem, Habilschrift 1969, S. 111, Fußnote 4

    Google Scholar 

  • W. SCHÄFER; G. SORKA:Die Abbildung von Gesetzestexten auf Formulare in der Rentenversicherung, Band 17 des Forschungsprojektes ‘Verwaltungsautomation’, Kassel März 1979, S. 177 ff.

    Google Scholar 

  • A. SCHAFF: Entfremdung als soziales Phänomen, Wien 1977

    Google Scholar 

  • J. SCHMIDT: Mengenlehre, Mannheim 1966

    Google Scholar 

  • H. -J. SCHNEIDER (Hrsg. ): Lexikon der Informatik und Datenverarbeitung, München/Wien 1983

    Google Scholar 

  • U. SEIDEL: Ungeklärte Rechtsfragen moderner Kommunikation, in: Online 1980 Heft 4, S. 260 ff.

    Google Scholar 

  • H. SNEED: Methodik der formalen Softwarespezifikation, in: ÖVD 1982 Heft 5, S. 62 ff.

    Google Scholar 

  • N. S. SRIDHARAN: Artificial Intelligence - Representing Knowledqe in AIMDS, in: Informatica e Diritto 1981, Heft 2/3, S. 201 ff.

    Google Scholar 

  • H. STACHOWIAK: Allgemeine Modelltheorie, Wien/New York 1973

    Google Scholar 

  • R. STAMPER; S. TAGG; P. MASON; S. COOK: Developing the LEGOL Semantic Grammar, in: C. Ciampi (Hrsg. ), Artificial Intelligence and Legal Information Systems, Amsterdam/New York/ Oxford 1982, S. 357 ff.

    Google Scholar 

  • R. STAMPER: Formal Languages as a Tool to Formalize Law, Vortrag beim International Workshop on Formal Methods in Law, St. Augustin März 1982

    Google Scholar 

  • ders.: LEGOL-2: A Language for Specifying Formal Organisati LSE Systems Research Group, London School of Economics, 3rd July 1978

    Google Scholar 

  • ders.: Modelling Legal Rules by Computer, in: B. Niblett (Hrsg. ), Computer Science and Law, Cambridge 1980, S. 45 ff.

    Google Scholar 

  • ders.: The LEGOL-Project since 1976, in: Computers and Law, Feb. 1980, Nr. 23, S. 10 ff.

    Google Scholar 

  • W. SVOBODA: Structural Analysis of the Law for the Purpose of Installing Query-Answering Systems, in: Consiglio Nazionale delle Richerche, Logica Informatica Diritto, Florenz 1981

    Google Scholar 

  • I. TAMMELO/H. SCHREINER: Grundzüge und Grundverfahren der Rechtslogik, Band 1, Pul lach bei München 1974

    Google Scholar 

  • F. W. TAYLOR: Die Grundsätze wissenschaftlicher Betriebsführung, München 1917.

    Google Scholar 

  • F. W. TAYLOR: zit. nach H. Bravermann, Die Arbeit im modernen Produktionsprozeß, Frankfurt/New York 1980

    Google Scholar 

  • A. TEPPER: Zwischenbilanz der Beteiligung an der System-entwicklunq im Projekt EBURG - Erste Erfahrungen bei der Zusammenarbeit von Mitarbeitern, Bürgern und Systementwicklern, Arbeitspapiere der GMD Nr. 22

    Google Scholar 

  • M. THALER: Mehrdeutigkeit und juristische Auslegung, Wien/New York 1982

    Google Scholar 

  • G. THIELER-MEVISSEN: Netztheoretische Überlegungen zu einer Gesetzgebungstheorie, in: U’. Klug; Th. Ramm; F. Rittner; B. Schmiedel (Hrsg. ), Gesetzgebungstheorie, Juristische Logik, Zivil- und Prozeßrecht - Gedächtnisschrift für Jürgen Rödig, Berlin/Heidelberg/New York 1978, S. 43 ff.

    Chapter  Google Scholar 

  • L. L. VALLAURI: Informatics and ‘Political’ Criteria of the Legal Decision, in: Proceedings of the International Study Congress on Logica, Informatica e Diritto, Florenz 1980

    Google Scholar 

  • P. WATZLAWICK/J. BEAVIN: Einige formale Aspekte der Kommunikation, in: B. Badura; K. Gloy (Hrsg. ), Soziologie der Kommunikation, Stuttgart/Bad Cannstatt 1972, S. 179 ff.

    Google Scholar 

  • H. WEDEKIND: Eine Methodologie zur Konstruktion des konzeptionellen Schemas, in: J. Niedereichholz, Datenbanktechnologie, Stuttgart 1979, S. 65 ff.

    Google Scholar 

  • ders.: Systemanalyse, München 1973

    Google Scholar 

  • J. WEIZENBAUM: Contributions to CACM, vol. 17 (1974) Nr. 7, S. 543

    Google Scholar 

  • ders.: Die Macht der Computer und die Ohnmacht der Vernunft, Frankfurt 1977

    Google Scholar 

  • ders.: On the Impact of the Computer on Society, in: Science Band 176 (12. 5. 1972), S. 612 f.

    Google Scholar 

  • A. WITT: Zur politischen Rationalität von Informationstechnologie, untersucht am Beispiel der Entwicklung eines Sozialinformationssystems für die Bundesrepublik Deutschland, Diplomarbeit Universität Hamburg 1982

    Google Scholar 

  • H. J. WOLFF/O. BACHOF: Verwaltunqsrecht, Band 1, München, 9. Aufläge 1974

    Google Scholar 

  • G. H. v. WRIGHT: Deontic Logic in: Mind Band 60 (1951), S. 1 ff.

    Google Scholar 

  • ders.: Norm and Action. A Logical Inquiry, London 1963

    Google Scholar 

  • ders.: Norms, Truth, and Logic, in: A. A. Martino (Hrsg. ), Deontic Logic, Computational Linguistics and Legal Information Systems, Band 2, North Holland/Amsterdam/New York/Oxford 1982, S. 3 ff.

    Google Scholar 

  • ders.: Old System (1951) und New System (1964), zit. nach L. Reisinger, Rechtsinformatik, Berlin/ New York 1977, S. 222 ff.

    Google Scholar 

  • R. K. YIN u. a.: A Review of Case Studies of Technological Innovations in State and Local Services, Santa Monica 1976

    Google Scholar 

  • B. ZIMMERMANN: Formale Behandlung der gesetzlichen Erbfolge, GMD-Entwicklungsunterlagen ERB-1, Birlinghoven 1973

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Forschungsstelle für Juristische Informatik und Automation, Universität Bonn, Deutschland

    Prof. Dr. jur. Dr. rer. nat. Herbert Fiedler, Dipl.-Inf. Thomas Barthel & Dipl.-Math. Gerhard Voogd

Authors
  1. Prof. Dr. jur. Dr. rer. nat. Herbert Fiedler
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Dipl.-Inf. Thomas Barthel
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Dipl.-Math. Gerhard Voogd
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

Copyright information

© 1984 Westdeutscher Verlag GmbH, Opladen

About this chapter

Cite this chapter

Fiedler, H., Barthel, T., Voogd, G. (1984). Literaturverzeichnis. In: Untersuchungen zur Formalisierung im Recht als Beitrag zur Grundlagenforschung juristischer Datenverarbeitung (UFORED). Forschungsberichte des Landes Nordrhein-Westfalen, vol 3180. VS Verlag für Sozialwissenschaften, Wiesbaden. https://doi.org/10.1007/978-3-322-87555-6_7

Download citation

  • DOI: https://doi.org/10.1007/978-3-322-87555-6_7

  • Publisher Name: VS Verlag für Sozialwissenschaften, Wiesbaden

  • Print ISBN: 978-3-531-03180-4

  • Online ISBN: 978-3-322-87555-6

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation