Results 121 to 130 of about 7,178 (134)

Equational fragments of systems for arithmetic

Algebra Universalis, 2001
Franco Montagna, Montagna Franco
exaly  

The role of general and number-specific order processing in adults’ arithmetic performance

Journal of Cognitive Psychology, 2017
Hélène Voß, Delphine Sasanguie, Wim Gevers   +2 more
exaly  

A novel approach in uncertain programming part I: new arithmetic and order relation for interval numbers

Journal of Industrial and Management Optimization, 2006
Bao Qing Hu
exaly  

Arithmetic, first-order logic, and counting quantifiers

ACM Transactions on Computational Logic, 2005
Nicole Schweikardt
exaly  

Fragments of arithmetic

Annals of Pure and Applied Logic, 1985
Wilfried Sieg
exaly  

Automatic and intentional processing of numerical order and its relationship to arithmetic performance

Acta Psychologica, 2019
Stephan E Vogel, Nikolaus Koren, Roland H Grabner   +2 more
exaly  

Models of Fragments of Arithmetic

2017
Pavel Pudlák
exaly  

Unprovability of consistency statements in fragments of bounded arithmetic

Annals of Pure and Applied Logic, 1995
Samuel R Buss, Aleksandar Ignjatovic
exaly  

Incompleteness for Higher-Order Arithmetic

SpringerBriefs in Mathematics, 2019
Yong Cheng
exaly  

Second-order statistics analysis and comparison between arithmetic and geometric average fusion: Application to multi-sensor target tracking

Information Fusion, 2019
Tiancheng Li, Hongqi Fan, Jesus Garcia   +2 more
exaly