Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDTFAIS 1985: Sitges, Spain
- Amílcar Sernadas, Janis A. Bubenko Jr., Antoni Olivé:
Information Systems - Theoretical and Formal Aspects, TFAIS 1985, Proceedings of the IFIP WG8.1 Working Conference, Sitges, Spain, 16-18 April 1985. Elsevier/North-Holland 1985, ISBN 0-444-87706-1
Systems and Languages
- Leo Mark, Nick Roussopoulos:
The New Database Architecture Framework - A Progress Report. TFAIS 1985: 1-18 - G. Barbara Demo, Antonio Di Leva, Piercarlo Giolito:
An Entity-Relationship Query Language. TFAIS 1985: 19-33 - T. Lougenia Anderson, B. B. Claghorn:
ADE: Mapping between the External and Conceptual Levels. TFAIS 1985: 34-48
Modeling Approaches I
- Gernot Richter:
Clocks and their Use for Time Modeling. TFAIS 1985: 49-66 - Ulrich Schiel:
Time and Space in Information Systems. TFAIS 1985: 67-78
Modeling Approaches II
- Matthew Morgenstern:
Connections among Application Based Objects in Directed Edge-Labelled Hypergraphs. TFAIS 1985: 79-99 - Udo Pletat:
A Graphtheoretic Semantics for Semantic Data Models. TFAIS 1985: 100-115 - Angelika Horndasch, Rudi Studer, Ramin Yasdi:
An Approach to Conceptual Schema Design of Information Systems. TFAIS 1985: 116-129 - Carl Gustaf Jansson:
A Framework for Representation. TFAIS 1985: 130-144
Logical Frameworks
- Udo W. Lipeck, Hans-Dieter Ehrich, Martin Gogolla:
Specifying Admissibility of Dynamic Database Behaviour Using Temporal Logic. TFAIS 1985: 145-157 - José Carmo:
The INFOLOG Branching Logic of Events. TFAIS 1985: 158-173 - Paulo A. S. Veloso, António L. Furtado:
Towards Simpler and Yet Complete Formal Specifications. TFAIS 1985: 174-188 - C. Kung:
A Tableaux Approach for Consistency Checking. TFAIS 1985: 189-207
Modeling Approaches III
- Giampio Bracchi, Barbara Pernici:
Specification of Control Aspects in Office Information Systems. TFAIS 1985: 208-221 - Randell S. Flint, Nancy G. Leveson:
The PAMS Approach to Modeling Database Activity. TFAIS 1985: 222-236
a service of 
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.
last updated on 2024-04-19 19:18 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
