Advertisement

Schlussfolgerungen

  • Rolf Stadler
Part of the Informatik-Fachberichte book series (INFORMATIK, volume 284)

Zusammenfassung

Der Ansatz für diese Arbeit, Directory-Systeme auf der Basis einer ausführbaren logischen Sprache zu spezifizieren, hat sich als fruchtbar erwiesen. Neben der Verifikation der These der Arbeit (Abschnitt 1.3) hat die Ausarbeitung dieses Ansatzes eine Fülle zusätzlicher Erkenntnisse gebracht und Aussichten auf weiterführende Forschungsvorhaben eröffnet.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 1991

Authors and Affiliations

  • Rolf Stadler
    • 1
  1. 1.Institut für InformatikUniversität Zürich-IrchelZürichSchweiz

Personalised recommendations