Results 131 to 140 of about 7,224 (155)

Morphological Diversity as a Proxy for Assessing Genetic Diversity of <i>Aedes aegypti</i> (Diptera, Culicidae). [PDF]

Insects
Lopes FA, Moratore C, Santos KRD, Tani LF, Peixoto ML, Suesdek L.   +5 more
europepmc   +1 more source

Creep prediction of cellulose based materials by extrapolation of short term experiments. [PDF]

Sci Rep
Abali BE, Afshar R, Gamstedt K, Girlanda O.   +3 more
europepmc   +1 more source

Effect of paratuberculosis vaccination before and after oral experimental infection with <i>Mycobacterium avium</i> subspecies <i>paratuberculosis</i> in goats. [PDF]

Vet Q
Royo M, Elguezábal N, Arrazuria R, Benavides J, Fernández M.   +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

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

Cognitive Development, 2022
Francesco Sella, Bert Reynvoet, Korbinian Moeller   +2 more
exaly  

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

Journal of Automated Reasoning, 2020
Marco Voigt
exaly  

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

Cognitive Development, 2022
Sabrina Finke, Chiara Banfi, Silke Goebel   +2 more
exaly  

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

Archive for Mathematical Logic, 2022
Kentaro Fujimoto
exaly  

The recursive sets in certain monadic second order fragments of arithmetic

Archive for Mathematical Logic, 1975
Dirk Siefkes
exaly