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, 2017Walter Dean, Sean Walsh
exaly
An Optoelectronic Resistive Switching Memory with Integrated Demodulating and Arithmetic Functions
Advanced Materials, 2015Hongwei Tan, Wei D Lu, Run-wei Li
exaly
Arithmetic, first-order logic, and counting quantifiers
ACM Transactions on Computational Logic, 2005Nicole Schweikardt
exaly
A model of second-order arithmetic satisfying AC but not DC
Journal of Mathematical Logic, 2019Victoria Gitman, Vladimir Kanovei
exaly
Affine Arithmetic: Concepts and Applications
Numerical Algorithms, 2004Luiz Henrique de Figueiredo +1 more
exaly
High-Order Approximate Power Flow Solutions and Circular Arithmetic Applications
IEEE Transactions on Power Systems, 2019Rabih A Jabr
exaly

