default search action

combined dblp search
author search
venue search
publication search

ask others

TFAIS 1985: Sitges, Spain

> Home > Conferences and Workshops > TFAIS

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- no documents available
  - details & citations
- export record
  dblp key:
  - conf/tfais/1985
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tfais/1985
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

- no documents available
  - details & citations
- export record
  dblp key:
  - conf/tfais/MarkR85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tfais/MarkR85
Leo Mark, Nick Roussopoulos:
The New Database Architecture Framework - A Progress Report. TFAIS 1985: 1-18
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/tfais/DemoLG85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tfais/DemoLG85
G. Barbara Demo, Antonio Di Leva, Piercarlo Giolito:
An Entity-Relationship Query Language. TFAIS 1985: 19-33
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/tfais/AndersonC85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tfais/AndersonC85
T. Lougenia Anderson, B. B. Claghorn:
ADE: Mapping between the External and Conceptual Levels. TFAIS 1985: 34-48

Modeling Approaches I

- no documents available
  - details & citations
- export record
  dblp key:
  - conf/tfais/Richter85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tfais/Richter85
Gernot Richter:
Clocks and their Use for Time Modeling. TFAIS 1985: 49-66
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/tfais/Schiel85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tfais/Schiel85
Ulrich Schiel:
Time and Space in Information Systems. TFAIS 1985: 67-78

Modeling Approaches II

- no documents available
  - details & citations
- export record
  dblp key:
  - conf/tfais/Morgenstern85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tfais/Morgenstern85
Matthew Morgenstern:
Connections among Application Based Objects in Directed Edge-Labelled Hypergraphs. TFAIS 1985: 79-99
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/tfais/Pletat85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tfais/Pletat85
Udo Pletat:
A Graphtheoretic Semantics for Semantic Data Models. TFAIS 1985: 100-115
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/tfais/HorndaschSY85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tfais/HorndaschSY85
Angelika Horndasch, Rudi Studer, Ramin Yasdi:
An Approach to Conceptual Schema Design of Information Systems. TFAIS 1985: 116-129
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/tfais/Jansson85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tfais/Jansson85
Carl Gustaf Jansson:
A Framework for Representation. TFAIS 1985: 130-144

Logical Frameworks

- no documents available
  - details & citations
- export record
  dblp key:
  - conf/tfais/LipeckEG85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tfais/LipeckEG85
Udo W. Lipeck, Hans-Dieter Ehrich, Martin Gogolla:
Specifying Admissibility of Dynamic Database Behaviour Using Temporal Logic. TFAIS 1985: 145-157
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/tfais/Carmo85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tfais/Carmo85
José Carmo:
The INFOLOG Branching Logic of Events. TFAIS 1985: 158-173
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/tfais/VelosoF85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tfais/VelosoF85
Paulo A. S. Veloso, António L. Furtado:
Towards Simpler and Yet Complete Formal Specifications. TFAIS 1985: 174-188
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/tfais/Kung85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tfais/Kung85
C. Kung:
A Tableaux Approach for Consistency Checking. TFAIS 1985: 189-207

Modeling Approaches III

- no documents available
  - details & citations
- export record
  dblp key:
  - conf/tfais/BracchiP85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tfais/BracchiP85
Giampio Bracchi, Barbara Pernici:
Specification of Control Aspects in Office Information Systems. TFAIS 1985: 208-221
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/tfais/FlintL85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tfais/FlintL85
Randell S. Flint, Nancy G. Leveson:
The PAMS Approach to Modeling Database Activity. TFAIS 1985: 222-236

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.