Results 111 to 120 of about 7,178 (134)

Real-Time Dual-Probe Monitoring and Correlation of FBRM and PVM Measurements during PUF Microcapsule Formation. [PDF]

ACS Omega
Özeroğlu B, Özkan N.
europepmc   +1 more source

Chemical Reaction Simulator on Quantum Computers by First Quantization (II)─Basic Treatment: Implementation. [PDF]

J Chem Theory Comput
Takahashi H, Tomaru T, Hirano T, Tahara S, Sato F.   +4 more
europepmc   +1 more source

Decidable ∃ *∀ * First-Order Fragments of Linear Rational Arithmetic with Uninterpreted Predicates.

J. Autom. Reason., 2021
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +4 more sources

Decidable $${\exists }^*{\forall }^*$$ First-Order Fragments of Linear Rational Arithmetic with Uninterpreted Predicates

Journal of Automated Reasoning, 2020
Marco Voigt
exaly  

A critical review of number order judgements and arithmetic: What do order verification tasks actually measure?

Cognitive Development, 2022
Declan Devlin, Korbinian Moeller, Bert Reynvoet   +2 more
exaly  

Developmental trajectories of symbolic magnitude and order processing and their relation with arithmetic development

Cognitive Development, 2022
Sabrina Finke, Stephan E Vogel, H Harald Freudenthaler   +2 more
exaly  

A few more dissimilarities between second-order arithmetic and set theory

Archive for Mathematical Logic, 2022
Kentaro Fujimoto
exaly  

Fragments of Arithmetic and true sentences

Mathematical Logic Quarterly, 2005
Andres Cordón-Franco
exaly  

The recursive sets in certain monadic second order fragments of arithmetic

Archive for Mathematical Logic, 1975
Dirk Siefkes
exaly