Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Nicolas Peltier

Completeness and Decidability Results for First-Order Clauses With Indices

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

The Bernays-Schönfinkel-Ramsey Class of Separation Logic on Arbitrary Domains

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2019English

A Resolution Calculus for First-Order Schemata

Fundamenta Informaticae
Information SystemsAlgebraNumber TheoryMathematicsComputational TheoryTheoretical Computer Science
2013English

Linear Temporal Logic and Propositional Schemata, Back and Forth

2011English

A Noninternalized Nondesensitized Truncated AT1A Receptor Transduces an Amplified ANG II Signal

American Journal of Physiology - Endocrinology and Metabolism
EndocrinologyPhysiologyMetabolismDiabetes
1998English

Combining Enumeration and Deductive Techniques in Order to Increase the Class of Constructible Infinite Models

Journal of Symbolic Computation
Computational MathematicsNumber TheoryAlgebra
2000English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy