On the Expressive Power of Logics with Invariant Uses of Arithmetic Predicates

Nicole Schweikardt

doi:10.1007/978-3-642-32621-9_6

ScienceGate Book Chapters

BOOK-CHAPTER

On the Expressive Power of Logics with Invariant Uses of Arithmetic Predicates

Nicole Schweikardt

Year: 2012 Lecture notes in computer science Pages: 85-87 Publisher: Springer Science+Business Media

DOI: 10.1007/978-3-642-32621-9_6

Get Full-Text PDF Get Analytical Report

Keywords:

Expressive power Computer science Arithmetic Invariant (physics) Algebra over a field Theoretical computer science Programming language Mathematics Pure mathematics

Metrics

Cited By

0.31

FWCI (Field Weighted Citation Impact)

Refs

0.52

Citation Normalized Percentile

Is in top 1%

Is in top 10%

Citation History

Topics

Logic, Reasoning, and Knowledge

Physical Sciences → Computer Science → Artificial Intelligence

Advanced Algebra and Logic

Physical Sciences → Computer Science → Computational Theory and Mathematics

semigroups and automata theory

Physical Sciences → Computer Science → Computational Theory and Mathematics

On the Expressive Power of Logics with Invariant Uses of Arithmetic Predicates

Metrics

Citation History

Topics

Related Documents

Expressive Logics for Coinductive Predicates

Reasoning on expressive description logics with arithmetic constraints

Expressive Power of Temporal Logics

Polynomial rewritings from expressive Description Logics with closed predicates to variants of Datalog

On Expressive Power Over Arithmetic