Number of the records: 1
On protocols for monotone feasible interpolation
- 1.FOLWARCZNÝ, Lukáš. On protocols for monotone feasible interpolation. ACM Transactions on Computation Theory. 2023, 15(1-2), 2. ISSN 1942-3454. Available: doi: 10.1145/3583754.
Number of the records: 1