Upper and Lower Bounds for the Height of Proofs in Sequent Calculus for Intuitionistic Logic.
- Published in:
- Journal of Mathematical Sciences, 2023, v. 275, n. 2, p. 195, doi. 10.1007/s10958-023-06671-z
- By:
- Publication type:
- Article
Works matching IS 10723374 AND DT 2023 AND VI 275 AND IP 2
Results: 6
1
2
On the Partition of Plane Sets Into 6 Subsets of Small Diameter.
- Published in:
- Journal of Mathematical Sciences, 2023, v. 275, n. 2, p. 177, doi. 10.1007/s10958-023-06670-0
- By:
- Publication type:
- Article
3
On Semi-Reconstruction of Graphs of Connectivity 2.
- Published in:
- Journal of Mathematical Sciences, 2023, v. 275, n. 2, p. 163, doi. 10.1007/s10958-023-06669-7
- By:
- Publication type:
- Article
4
An Existence Criterion for a Cycle Such That the Vertices Not Included in It Are Independent.
- Published in:
- Journal of Mathematical Sciences, 2023, v. 275, n. 2, p. 147, doi. 10.1007/s10958-023-06668-8
- By:
- Publication type:
- Article
5
An Exact Bound on the Number of Proper 3-Edge-Colorings of a Connected Cubic Graph.
- Published in:
- Journal of Mathematical Sciences, 2023, v. 275, n. 2, p. 130, doi. 10.1007/s10958-023-06667-9
- By:
- Publication type:
- Article
6
Algorithm for Sequential Construction of Spanning Minimal Directed Forests.
- Published in:
- Journal of Mathematical Sciences, 2023, v. 275, n. 2, p. 117, doi. 10.1007/s10958-023-06666-w
- By:
- Publication type:
- Article