Live data structures in logic programs: derivation by means of abstract interpretation

Anne Mulkers

Berlin [u.a.]: Springer, 1993

Monographie, Hochschulschrift, Gedruckte Ressource - VIII, 220 S.

Titel:	Live data structures in logic programs: derivation by means of abstract interpretation
Verantwortlichkeitsangabe:	Anne Mulkers
Autor/in / Beteiligte Person:	Mulkers, Anne
Verwandtes Werk:	Lecture notes in computer science — Weitere Bände
Veröffentlichung:	Berlin [u.a.]: Springer, 1993
Medientyp:	Monographie, Hochschulschrift
Datenträgertyp:	Gedruckte Ressource
Umfang:	VIII, 220 S.
ISBN:	3540566945 (Berlin ...) : DM 52.00; 0387566945 (New York ...)
Schlagwort:	Logische Programmierung Datenstruktur
Sonstiges:	Gesamttitelangabe: Lecture notes in computer science ; 675 Louvain, Univ. Catholique, Diss., 1991 u.d.T. Mulkers, Anne: Deriving live data structures in logic programs by means of abstract interpretation Lokale Notationen: TVI; TWS; TVL Fächer: Informatik RVK: SS 4800 Lecture notes in computer science; ST 270 Datenbanken, Datenbanksysteme, Data base management, Informationssysteme. Allgemein hbz Verbund-ID: HT004538512

Klicken Sie ein Format an und speichern Sie dann die Daten oder geben Sie eine Empfänger-Adresse ein und lassen Sie sich per Email zusenden.

BibTeX Citavi, JabRef, u.a.
(Literaturverwaltung)

PDF kein Volltext!
(Merkzettel, Notizen)

RIS Endnote, Citavi u.a.
(Literaturverwaltung)

MODS
(XML zur Weiterverarbeitung)

oder

Wählen Sie das für Sie passende Zitationsformat und kopieren Sie es dann in die Zwischenablage, lassen es sich per Mail zusenden oder speichern es als PDF-Datei.

Gewünschter Zitations-Stil:

oder

Bitte prüfen Sie, ob die Zitation formal korrekt ist, bevor Sie sie in einer Arbeit verwenden. Benutzen Sie gegebenenfalls den "Exportieren"-Dialog, wenn Sie ein Literaturverwaltungsprogramm verwenden und die Zitat-Angaben selbst formatieren wollen.