Eintrag weiter verarbeiten
Axiomatization, Declarative Semantics and Operational Semantics of Passive and Active Updates in Logic Databases
Gespeichert in:
Personen und Körperschaften: | , , |
---|---|
Titel: |
Axiomatization, Declarative Semantics and Operational Semantics of Passive and Active Updates in Logic Databases |
In: | Journal of Logic and Computation, 5, 1995, 1, S. 27-70 |
veröffentlicht: |
Oxford University Press (OUP)
|
Umfang: | 27-70 |
ISSN: |
0955-792X 1465-363X |
DOI: | 10.1093/logcom/5.1.27 |
Format: | E-Article |
Quelle: | Oxford University Press (OUP) (CrossRef) |
Sprache: | Englisch |