Results 91 to 100 of about 43,286 (100)
Some of the next articles are maybe not open access.

THE PREHISTORY OF THE SUBSYSTEMS OF SECOND-ORDER ARITHMETIC

Review of Symbolic Logic, 2017
Walter Dean, Sean Walsh
exaly  

Arithmetic, first-order logic, and counting quantifiers

ACM Transactions on Computational Logic, 2005
Nicole Schweikardt
exaly  

A model of second-order arithmetic satisfying AC but not DC

Journal of Mathematical Logic, 2019
Victoria Gitman, Vladimir Kanovei
exaly  

Affine Arithmetic: Concepts and Applications

Numerical Algorithms, 2004
Luiz Henrique de Figueiredo   +1 more
exaly  

High-Order Approximate Power Flow Solutions and Circular Arithmetic Applications

IEEE Transactions on Power Systems, 2019
Rabih A Jabr
exaly  

Home - About - Disclaimer - Privacy