Conferences in DBLP

Information Systems - Theoretical and Formal Aspects (TFAIS) (tfais)
1985 (conf/tfais/85)

1. Leo Mark, Nick Roussopoulos
   The New Database Architecture Framework - A Progress Report. [Citation Graph (1, 0)][DBLP]
   TFAIS, 1985, pp:1-18 [Conf]
   
2. G. Barbara Demo, Antonio Di Leva, Piercarlo Giolito
   An Entity-Relationship Query Language. [Citation Graph (1, 0)][DBLP]
   TFAIS, 1985, pp:19-33 [Conf]
   
3. T. Lougenia Anderson, B. B. Claghorn
   ADE: Mapping between the External and Conceptual Levels. [Citation Graph (0, 0)][DBLP]
   TFAIS, 1985, pp:34-48 [Conf]
   
4. Gernot Richter
   Clocks and their Use for Time Modeling. [Citation Graph (0, 0)][DBLP]
   TFAIS, 1985, pp:49-66 [Conf]
   
5. Ulrich Schiel
   Time and Space in Information Systems. [Citation Graph (0, 0)][DBLP]
   TFAIS, 1985, pp:67-78 [Conf]
   
6. Matthew Morgenstern
   Connections among Application Based Objects in Directed Edge-Labelled Hypergraphs. [Citation Graph (0, 0)][DBLP]
   TFAIS, 1985, pp:79-99 [Conf]
   
7. Udo Pletat
   A Graphtheoretic Semantics for Semantic Data Models. [Citation Graph (0, 0)][DBLP]
   TFAIS, 1985, pp:100-115 [Conf]
   
8. Angelika Horndasch, Rudi Studer, Ramin Yasdi
   An Approach to Conceptual Schema Design of Information Systems. [Citation Graph (1, 0)][DBLP]
   TFAIS, 1985, pp:116-129 [Conf]
   
9. Carl Gustaf Jansson
   A Framework for Representation. [Citation Graph (0, 0)][DBLP]
   TFAIS, 1985, pp:130-144 [Conf]
   
10. Udo W. Lipeck, Hans-Dieter Ehrich, Martin Gogolla
    Specifying Admissibility of Dynamic Database Behaviour Using Temporal Logic. [Citation Graph (1, 0)][DBLP]
    TFAIS, 1985, pp:145-157 [Conf]
    
11. José Carmo
    The INFOLOG Branching Logic of Events. [Citation Graph (0, 0)][DBLP]
    TFAIS, 1985, pp:158-173 [Conf]
    
12. Paulo A. S. Veloso, Antonio L. Furtado
    Towards Simpler and Yet Complete Formal Specifications [Citation Graph (3, 0)][DBLP]
    TFAIS, 1985, pp:174-188 [Conf]
    
13. C. Kung
    A Tableaux Approach for Consistency Checking. [Citation Graph (4, 0)][DBLP]
    TFAIS, 1985, pp:189-207 [Conf]
    
14. Giampio Bracchi, Barbara Pernici
    Specification of Control Aspects in Office Information Systems. [Citation Graph (0, 0)][DBLP]
    TFAIS, 1985, pp:208-221 [Conf]
    
15. Randell S. Flint, Nancy G. Leveson
    The PAMS Approach to Modeling Database Activity. [Citation Graph (0, 0)][DBLP]
    TFAIS, 1985, pp:222-236 [Conf]