AAAAAA

   
Results: 1-9 |
Results: 9
A LOGICAL VIEW OF STRUCTURED FILES
Authors: ABITEBOUL S CLUET S MILO T
Citation: S. Abiteboul et al., A LOGICAL VIEW OF STRUCTURED FILES, The VLDB journal, 7(2), 1998, pp. 96-114
REFLECTIVE RELATIONAL MACHINES
Authors: ABITEBOUL S PAPADIMITRIOU CH VIANU V
Citation: S. Abiteboul et al., REFLECTIVE RELATIONAL MACHINES, Information and computation, 143(2), 1998, pp. 110-136
FIXPOINT LOGICS, RELATIONAL MACHINES, AND COMPUTATIONAL-COMPLEXITY
Authors: ABITEBOUL S VARDI MY VIANU V
Citation: S. Abiteboul et al., FIXPOINT LOGICS, RELATIONAL MACHINES, AND COMPUTATIONAL-COMPLEXITY, Journal of the ACM, 44(1), 1997, pp. 30-56
SELECTED PAPERS OF ICALP-94 - FOREWORD
Authors: ABITEBOUL S SHAMIR E
Citation: S. Abiteboul et E. Shamir, SELECTED PAPERS OF ICALP-94 - FOREWORD, Theoretical computer science, 169(2), 1996, pp. 3-3
KANELLAKIS,PARIS,C. (1953-1995) - IN-MEMORIAM
Authors: ABITEBOUL S KUPER GM MAIRSON HG SHVARTSMAN AA VARDI MY
Citation: S. Abiteboul et al., KANELLAKIS,PARIS,C. (1953-1995) - IN-MEMORIAM, Journal of algorithms, 20(2), 1996, pp. 203-204
COMPUTING WITH INFINITARY LOGIC
Authors: ABITEBOUL S VARDI MY VIANU V
Citation: S. Abiteboul et al., COMPUTING WITH INFINITARY LOGIC, Theoretical computer science, 149(1), 1995, pp. 101-128
METHOD SCHEMAS
Authors: ABITEBOUL S KANELLAKIS P RAMASWAMY S WALLER E
Citation: S. Abiteboul et al., METHOD SCHEMAS, Journal of computer and system sciences, 51(3), 1995, pp. 433-455
COMPUTING WITH FIRST-ORDER LOGIC
Authors: ABITEBOUL S VIANU V
Citation: S. Abiteboul et V. Vianu, COMPUTING WITH FIRST-ORDER LOGIC, Journal of computer and system sciences, 50(2), 1995, pp. 309-335
INTERNATIONAL-CONFERENCE ON DATABASE THEORY (ICDT) - FOREWORD
Authors: ABITEBOUL S KANELLAKIS P
Citation: S. Abiteboul et P. Kanellakis, INTERNATIONAL-CONFERENCE ON DATABASE THEORY (ICDT) - FOREWORD, Theoretical computer science, 116(1), 1993, pp. 1-1
Risultati: 1-9 |