A saturation property of structures obtained by forcing with a compact family of random variables.
- Published in:
- Archive for Mathematical Logic, 2013, v. 52, n. 1/2, p. 19, doi. 10.1007/s00153-012-0304-9
- By:
- Publication type:
- Article
Works matching DE "PROOF complexity"
Results: 8
1
2
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
3
PROOF COMPLEXITIES ON A CLASS OF BALANCED FORMULAS IN SOME PROPOSITIONAL SYSTEMS.
- Published in:
- Proceedings of the YSU A: Physical & Mathematical Sciences, 2022, v. 56, n. 2, p. 58, doi. 10.46991/PYSU:A/2022.56.2.058
- By:
- Publication type:
- Article
4
PROBLEMS.
- Published in:
- Mathematics Magazine, 2012, v. 85, n. 5, p. 384, doi. 10.4169/math.mag.85.5.384
- By:
- Publication type:
- Article
5
QUASIPOLYNOMIAL NORMALISATION IN DEEP INFERENCE VIA ATOMIC FLOWS AND THRESHOLD FORMULAE.
- Published in:
- Logical Methods in Computer Science (LMCS), 2016, v. 12, n. 2, p. 1, doi. 10.2168/lmcs-12(2:5)2016
- By:
- Publication type:
- Article
6
Reducing redundancy in cut-elimination by resolution.
- Published in:
- Journal of Logic & Computation, 2017, v. 27, n. 2, p. 577, doi. 10.1093/logcom/exu075
- By:
- Publication type:
- Article
7
Proof Complexity.
- Published in:
- 2023
- By:
- Publication type:
- Book Review
8
Learners' beliefs about the functions of proof: building an argument for validity.
- Published in:
- Educational Studies in Mathematics, 2021, v. 107, n. 3, p. 503, doi. 10.1007/s10649-021-10047-y
- By:
- Publication type:
- Article