×

Found 4,624 Documents (Results 1–100)

The Abe-Okamoto partially blind signature scheme revisited. (English) Zbl 1519.94224

Agrawal, Shweta (ed.) et al., Advances in cryptology – ASIACRYPT 2022. 28th international conference on the theory and application of cryptology and information security, Taipei, Taiwan, December 5–9, 2022. Proceedings. Part IV. Cham: Springer. Lect. Notes Comput. Sci. 13794, 279-309 (2023).
PDF BibTeX XML Cite
Full Text: DOI

Labelled calculi for lattice-based modal logics. (English) Zbl 07728686

Banerjee, Mohua (ed.) et al., Logic and its applications. 10th Indian conference, ICLA 2023, Indore, India, March 3–5, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13963, 23-47 (2023).
MSC:  03Bxx 68T27
PDF BibTeX XML Cite
Full Text: DOI

Hide a liar: card-based ZKP protocol for Usowan. (English) Zbl 07722842

Du, Ding-Zhu (ed.) et al., Theory and applications of models of computation. 17th annual conference, TAMC 2022, Tianjin, China, September 16–18, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13571, 201-217 (2023).
MSC:  68Qxx
PDF BibTeX XML Cite
Full Text: DOI

Physical ZKP for Makaro using a standard deck of cards. (English) Zbl 07722830

Du, Ding-Zhu (ed.) et al., Theory and applications of models of computation. 17th annual conference, TAMC 2022, Tianjin, China, September 16–18, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13571, 43-54 (2023).
MSC:  68Qxx
PDF BibTeX XML Cite
Full Text: DOI arXiv

Complexity of the Lambek calculus with one division and a negative-polarity modality for weakening. (English. Russian original) Zbl 07659854

J. Math. Sci., New York 269, No. 4, 544-557 (2023); translation from Fundam. Prikl. Mat. 23, No. 4, 143-162 (2021).
MSC:  03Bxx 03Fxx 68Qxx
PDF BibTeX XML Cite
Full Text: DOI

Ideals, determinants, and straightening: proving and using lower bounds for polynomial ideals. (English) Zbl 07774347

Leonardi, Stefano (ed.) et al., Proceedings of the 54th annual ACM SIGACT symposium on theory of computing, STOC ’22, Rome, Italy June 20–24, 2022. New York, NY: Association for Computing Machinery (ACM). 389-402 (2022).
MSC:  68Qxx
PDF BibTeX XML Cite
Full Text: DOI arXiv

Nonlocal games, compression theorems, and the arithmetical hierarchy. (English) Zbl 07774315

Leonardi, Stefano (ed.) et al., Proceedings of the 54th annual ACM SIGACT symposium on theory of computing, STOC ’22, Rome, Italy June 20–24, 2022. New York, NY: Association for Computing Machinery (ACM). 1-11 (2022).
MSC:  68Qxx
PDF BibTeX XML Cite
Full Text: DOI arXiv

Abstract cyclic proofs. (English) Zbl 07691331

Ciabattoni, Agata (ed.) et al., Logic, language, information, and computation. 28th international workshop, WoLLIC 2022, Iași, Romania, September 20–23, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13468, 309-325 (2022).
MSC:  03B70
PDF BibTeX XML Cite
Full Text: DOI

An analytic proof system for common knowledge logic over S5. (English) Zbl 07668120

Fernández-Duque, David (ed.) et al., Advances in modal logic. Vol. 14. Proceedings of the 14th conference (AiML 2022), Rennes, France, August 22–25, 2022. London: College Publications. 659-679 (2022).
MSC:  03F03 03B42 03B45
PDF BibTeX XML Cite

Labelled sequent calculi for logics of strict implication. (English) Zbl 07668118

Fernández-Duque, David (ed.) et al., Advances in modal logic. Vol. 14. Proceedings of the 14th conference (AiML 2022), Rennes, France, August 22–25, 2022. London: College Publications. 625-641 (2022).
MSC:  03F03 03B45
PDF BibTeX XML Cite

Direct elimination of additive-cuts in GL4ip: verified and extracted. (English) Zbl 1518.03015

Fernández-Duque, David (ed.) et al., Advances in modal logic. Vol. 14. Proceedings of the 14th conference (AiML 2022), Rennes, France, August 22–25, 2022. London: College Publications. 429-449 (2022).
MSC:  03F45 03B35 03F05
PDF BibTeX XML Cite

Algorithmic correspondence and analytic rules. (English) Zbl 07668106

Fernández-Duque, David (ed.) et al., Advances in modal logic. Vol. 14. Proceedings of the 14th conference (AiML 2022), Rennes, France, August 22–25, 2022. London: College Publications. 371-389 (2022).
MSC:  03F03 03B35 03B45
PDF BibTeX XML Cite
Full Text: arXiv

Comparative plausibility in neighbourhood models: axiom systems and sequent calculi. (English) Zbl 07668103

Fernández-Duque, David (ed.) et al., Advances in modal logic. Vol. 14. Proceedings of the 14th conference (AiML 2022), Rennes, France, August 22–25, 2022. London: College Publications. 305-327 (2022).
MSC:  03F03 03B45
PDF BibTeX XML Cite
Full Text: arXiv

Combinatorial proofs for constructive modal logic. (English) Zbl 07668089

Fernández-Duque, David (ed.) et al., Advances in modal logic. Vol. 14. Proceedings of the 14th conference (AiML 2022), Rennes, France, August 22–25, 2022. London: College Publications. 15-36 (2022).
MSC:  03B45 03F03
PDF BibTeX XML Cite

Filter Results by …

Document Type

Database

Reviewing State

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software