BOOK-CHAPTER
On Expressive Power Over Arithmetic
Year: 2018 Boston studies in the philosophy of science Pages: 39-55 Publisher: Springer Nature
Keywords:
Arithmetic function Interpretability Modal Base (topology) Expressive power Context (archaeology) Mathematics Reduction (mathematics) Algebra over a field Computer science Arithmetic Pure mathematics Discrete mathematics Theoretical computer science Artificial intelligence Mathematical analysis
Metrics
1
Cited By
0.00
FWCI (Field Weighted Citation Impact)
28
Refs
0.12
Citation Normalized Percentile
Is in top 1%
Is in top 10%
Citation History
Topics
Philosophy and Theoretical Science
Social Sciences → Psychology → Experimental and Cognitive Psychology
Logic, Reasoning, and Knowledge
Physical Sciences → Computer Science → Artificial Intelligence
Computability, Logic, AI Algorithms
Physical Sciences → Computer Science → Computational Theory and Mathematics
Related Documents
BOOK-CHAPTER
On the expressive power of the relational calculus with arithmetic constraints
Lecture notes in computer science Year: 1990 Pages: 202-211
BOOK-CHAPTER
On the Expressive Power of Logics with Invariant Uses of Arithmetic Predicates
Lecture notes in computer science Year: 2012 Pages: 85-87
JOURNAL ARTICLE
The Expressive Power of Bijections over Weakly Arithmetized Structures
Journal: Theory of Computing Systems Year: 2005 Vol: 39 (2)Pages: 297-309
JOURNAL ARTICLE
The expressive power of simple logical fragments over traces
Martin HorschManfred Kufleitner
Journal: OPUS Publication Server of the University of Stuttgart (University of Stuttgart) Year: 2006
BOOK-CHAPTER
On Expressive Power of Regular Expressions over Infinite Orders
Lecture notes in computer science Year: 2016 Pages: 382-393