Works matching DE "HERBRAND'S theorem (Number theory)"
Results: 35
ON DEEPLY RAMIFIED EXTENSIONS.
- Published in:
- Journal of the London Mathematical Society, 1998, v. 57, n. 2, p. 325, doi. 10.1112/S0024610798006097
- By:
- Publication type:
- Article
Herbrand's theorem revisited.
- Published in:
- PAMM: Proceedings in Applied Mathematics & Mechanics, 2016, v. 16, n. 1, p. 905, doi. 10.1002/pamm.201610441
- By:
- Publication type:
- Article
Arithmetic of positive characteristic L-series values in Tate algebras.
- Published in:
- Compositio Mathematica, 2016, v. 152, n. 1, p. 1, doi. 10.1112/S0010437X15007563
- By:
- Publication type:
- Article
On definite program answers and least Herbrand models.
- Published in:
- Theory & Practice of Logic Programming, 2016, v. 16, n. 4, p. 498, doi. 10.1017/S1471068416000089
- By:
- Publication type:
- Article
Functional answer set programming.
- Published in:
- Theory & Practice of Logic Programming, 2011, v. 11, n. 2/3, p. 203, doi. 10.1017/S1471068410000517
- By:
- Publication type:
- Article
Improving PARMA trailing.
- Published in:
- Theory & Practice of Logic Programming, 2006, v. 6, n. 6, p. 609, doi. 10.1017/S1471068405002620
- By:
- Publication type:
- Article
CERES for first-order schemata.
- Published in:
- Journal of Logic & Computation, 2017, v. 27, n. 7, p. 1897, doi. 10.1093/logcom/exx003
- By:
- Publication type:
- Article
A herbrandized functional interpretation of classical first-order logic.
- Published in:
- Archive for Mathematical Logic, 2017, v. 56, n. 5/6, p. 523, doi. 10.1007/s00153-017-0555-6
- By:
- Publication type:
- Article
On the complexity of finding falsifying assignments for Herbrand disjunctions.
- Published in:
- Archive for Mathematical Logic, 2015, v. 54, n. 7/8, p. 769, doi. 10.1007/s00153-015-0439-6
- By:
- Publication type:
- Article
Herbrand consistency of some finite fragments of bounded arithmetical theories.
- Published in:
- Archive for Mathematical Logic, 2013, v. 52, n. 3/4, p. 317, doi. 10.1007/s00153-012-0318-3
- By:
- Publication type:
- Article
Extracting Herbrand disjunctions by functional interpretation.
- Published in:
- Archive for Mathematical Logic, 2005, v. 44, n. 5, p. 633, doi. 10.1007/s00153-005-0275-1
- By:
- Publication type:
- Article
On Herbrand consistency in weak arithmetic.
- Published in:
- Archive for Mathematical Logic, 2001, v. 40, n. 6, p. 399, doi. 10.1007/s001530000072
- By:
- Publication type:
- Article
A proof-theoretic analysis of collection.
- Published in:
- Archive for Mathematical Logic, 1998, v. 37, n. 5/6, p. 275, doi. 10.1007/s001530050099
- By:
- Publication type:
- Article
Two applications of Boolean models.
- Published in:
- Archive for Mathematical Logic, 1998, v. 37, n. 3, p. 143, doi. 10.1007/s001530050088
- By:
- Publication type:
- Article
An approximate Herbrand's theorem and definable functions in metric structures.
- Published in:
- Mathematical Logic Quarterly, 2012, v. 58, n. 3, p. 208, doi. 10.1002/malq.201110061
- By:
- Publication type:
- Article
Non-elementary speed-ups in logic calculi.
- Published in:
- Mathematical Logic Quarterly, 2008, v. 54, n. 6, p. 629, doi. 10.1002/malq.200710067
- By:
- Publication type:
- Article
Herbrandizing search problems in Bounded Arithmetic.
- Published in:
- Mathematical Logic Quarterly, 2004, v. 50, n. 6, p. 577, doi. 10.1002/malq.200410005
- By:
- Publication type:
- Article
An Extension Principle for Fuzzy Logics.
- Published in:
- Mathematical Logic Quarterly, 1994, v. 40, n. 3, p. 357, doi. 10.1002/malq.19940400306
- By:
- Publication type:
- Article
HERBRAND’S THEOREM AND NON-EUCLIDEAN GEOMETRY.
- Published in:
- Bulletin of Symbolic Logic, 2015, v. 21, n. 2, p. 111, doi. 10.1017/bsl.2015.6
- By:
- Publication type:
- Article
A structure theorem of Dirac-harmonic maps between spheres.
- Published in:
- Calculus of Variations & Partial Differential Equations, 2009, v. 35, n. 4, p. 409, doi. 10.1007/s00526-008-0210-5
- By:
- Publication type:
- Article
On the Relationship between CWA, Minimal Model, and Minimal Herbrand Model Semantics.
- Published in:
- International Journal of Intelligent Systems, 1990, v. 5, n. 5, p. 549, doi. 10.1002/int.4550050507
- By:
- Publication type:
- Article
HERBRAND-CONFLUENCE.
- Published in:
- Logical Methods in Computer Science (LMCS), 2013, v. 9, n. 4, p. 1, doi. 10.2168/LMCS-9(4:24)2013
- By:
- Publication type:
- Article
A Herbrand-Ribet theorem for function fields.
- Published in:
- Inventiones Mathematicae, 2012, v. 188, n. 2, p. 253, doi. 10.1007/s00222-011-0346-3
- By:
- Publication type:
- Article
Proof theory of witnessed Gödel logic: A negative result.
- Published in:
- Journal of Logic & Computation, 2016, v. 26, n. 1, p. 51, doi. 10.1093/logcom/ext018
- By:
- Publication type:
- Article
Separating bounded arithmetical theories by Herbrand consistency.
- Published in:
- Journal of Logic & Computation, 2012, v. 22, n. 3, p. 545, doi. 10.1093/logcom/exr005
- By:
- Publication type:
- Article
Herbrand's Theorem, Skolemization and Proof Systems for First-Order Łukasiewicz Logic.
- Published in:
- Journal of Logic & Computation, 2010, v. 20, n. 1, p. 35, doi. 10.1093/logcom/exn059
- By:
- Publication type:
- Article
Generalizing Def and Pos to Type Analysis.
- Published in:
- Journal of Logic & Computation, 2002, v. 12, n. 3, p. 497, doi. 10.1093/logcom/12.3.497
- By:
- Publication type:
- Article
À propos d'un lemme de Ribet.
- Published in:
- Bulletin (New Series) of the American Mathematical Society, 2011, v. 48, n. 2, p. 283
- By:
- Publication type:
- Article
The Herbrand topos.
- Published in:
- Mathematical Proceedings of the Cambridge Philosophical Society, 2013, v. 155, n. 2, p. 361, doi. 10.1017/S0305004113000303
- By:
- Publication type:
- Article
Reactive Computing as Model Generation.
- Published in:
- New Generation Computing, 2015, v. 33, n. 1, p. 33, doi. 10.1007/s00354-015-0103-z
- By:
- Publication type:
- Article
Online Bayesian inference for the parameters of PRISM programs.
- Published in:
- Machine Learning, 2012, v. 89, n. 3, p. 279, doi. 10.1007/s10994-012-5305-8
- By:
- Publication type:
- Article
Constraint-based probabilistic modeling for statistical abduction.
- Published in:
- Machine Learning, 2011, v. 83, n. 2, p. 241, doi. 10.1007/s10994-010-5206-7
- By:
- Publication type:
- Article
Asymptotic behavior of Ext functors for modules of finite complete intersection dimension.
- Published in:
- Mathematische Zeitschrift, 2011, v. 269, n. 3/4, p. 1005, doi. 10.1007/s00209-010-0771-9
- By:
- Publication type:
- Article
Open default theories over closed domains.
- Published in:
- Logic Journal of the IGPL, 1999, v. 7, n. 5, p. 577, doi. 10.1093/jigpal/7.5.577
- By:
- Publication type:
- Article
Variable compactness in 1-order logic.
- Published in:
- Logic Journal of the IGPL, 1999, v. 7, n. 3, p. 327, doi. 10.1093/jigpal/7.3.327
- By:
- Publication type:
- Article