Annals of Mathematics and Artificial Intelligence
, Volume 7
Volume 7, Number 1-4, 1993
Constantin Arapis
:
A Temporal Logic-Based Approach for the Description of Object Behavior Evolution.
1-40
Jan Van den Bussche
:
Complex Object Multi-Level Fixpoint Queries.
41-62
János Demetrovics
,
Gyula O. H. Katona
:
A Survey of Some Combinatorial Results Concerning Functional Dependencies in Database Relations.
63-82
János Demetrovics
,
Lajos Rónyai
,
Hua nam Son
:
Functional Dependencies among Boolean Dependencies.
83-106
Guozhu Dong
:
On the Monotonicity of (LDL) Logic Programs with Set.
107-127
Stephen J. Hegner
:
Characterization of Desirable Properties of General Database Decompositions.
129-195
Bernhard Thalheim
:
Foundations of Entity - Relationship Modeling.
197-256
Victor Vianu
,
Gottfried Vossen
:
Static and Dynamic Aspects of Goal-Oriented Concurrency Control.
257-287
Roel Wieringa
,
John-Jules Ch. Meyer
:
Actors, Actions, and Initiative in Normative System Specification.
289-346
Last update Tue May 21 18:19:58 2013 CET by the
DBLP Team
—
Data released under the
ODC-BY 1.0 license
— See also our
legal information page