AAAAAA

   
Results: 1-8 |
Results: 8
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
A PROBABILISTIC VIEW OF DATALOG PARALLELIZATION
Authors: LIFSCHITZ S VIANU V
Citation: S. Lifschitz et V. Vianu, A PROBABILISTIC VIEW OF DATALOG PARALLELIZATION, Theoretical computer science, 190(2), 1998, pp. 211-239
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
RULE-BASED LANGUAGES
Authors: VIANU V
Citation: V. Vianu, RULE-BASED LANGUAGES, Annals of mathematics and artificial intelligence, 19(1-2), 1997, pp. 215-259
13TH ANNUAL ACM SIGACT-SIGMOD-SIGART SYMPOSIUM ON PRINCIPLES OF DATABASE-SYSTEMS (PODS) - MAY 24-26, 1994 - EDITORS FOREWORD
Authors: VIANU V
Citation: V. Vianu, 13TH ANNUAL ACM SIGACT-SIGMOD-SIGART SYMPOSIUM ON PRINCIPLES OF DATABASE-SYSTEMS (PODS) - MAY 24-26, 1994 - EDITORS FOREWORD, Journal of computer and system sciences, 55(2), 1997, pp. 197-197
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
TRACTABLE QUERY LANGUAGES FOR COMPLEX OBJECT DATABASES
Authors: GRUMBACH S VIANU V
Citation: S. Grumbach et V. Vianu, TRACTABLE QUERY LANGUAGES FOR COMPLEX OBJECT DATABASES, Journal of computer and system sciences, 51(2), 1995, pp. 149-167
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
Risultati: 1-8 |