A Characterisation of the Relations Definable in Presburger Arithmetic (Q3502652): Difference between revisions

@@ Property / cites work @@
+Q4934292
@@ Property / cites work: Q4934292 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4052071
@@ Property / cites work: Q4052071 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5824357
@@ Property / cites work: Q5824357 / rank @@
+Normal rank
@@ Property / cites work @@
+Small Grzegorczyk classes and limited minimum
@@ Property / cites work: Small Grzegorczyk classes and limited minimum / rank @@
+Normal rank
@@ Property / cites work @@
+LOGSPACE and PTIME characterized by programming languages
+Normal rank
@@ Property / cites work @@
+The expressive power of higher-order types or, life without CONS
+Normal rank
@@ Property / cites work @@
+Neat function algebraic characterizations of LOGSPACE and LINSPACE
+Normal rank
@@ Property / cites work @@
+Complexity-theoretic hierarchies induced by fragments of Gödel's \(T\)
+Normal rank
@@ Property / cites work @@
+New Computational Paradigms
@@ Property / cites work: New Computational Paradigms / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Science Logic
@@ Property / cites work: Computer Science Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity classes and fragments of C
@@ Property / cites work: Complexity classes and fragments of C / rank @@
+Normal rank
@@ Property / cites work @@
+On the completeness of a certain system of arithmetic of whole numbers in which addition occurs as the only operation
+Normal rank
@@ Property / cites work @@
+Monadic Elementary Formal Systems
@@ Property / cites work: Monadic Elementary Formal Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Rudimentary Predicates and Relative Computation
@@ Property / cites work: Rudimentary Predicates and Relative Computation / rank @@
+Normal rank