JOURNAL ARTICLE
The expressiveness of DAC
Foto AfratiIrène GuessarianMichel de Rougemont
Year: 2002 Journal: Theoretical Computer Science Vol: 286 (1)Pages: 3-32 Publisher: Elsevier BV
Keywords:
Datalog Recursion (computer science) Extension (predicate logic) Upper and lower bounds Programming language Computer science Deductive database Mathematics Discrete mathematics Arithmetic
Metrics
0
Cited By
0.00
FWCI (Field Weighted Citation Impact)
13
Refs
0.13
Citation Normalized Percentile
Is in top 1%
Is in top 10%
Topics
Formal Methods in Verification
Physical Sciences → Computer Science → Computational Theory and Mathematics
Logic, programming, and type systems
Physical Sciences → Computer Science → Artificial Intelligence
Algorithms and Data Compression
Physical Sciences → Computer Science → Artificial Intelligence
Related Documents
BOOK-CHAPTER
Expressiveness
Stéphane DemriValentin GorankoMartin Lange
Cambridge University Press eBooks Year: 2016 Pages: 361-418
BOOK-CHAPTER
Expressiveness
Antonie T. KnoppersMilly ObdeijnSteffen R. Giessner
Year: 2021 Pages: 231-252