


Остановите войну!
for scientists:


default search action
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 J. Wieringa, John-Jules Ch. Meyer:
Actors, Actions, and Initiative in Normative System Specification. 289-346

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.