×

Found 4,624 Documents (Results 1–100)

Newest Citations Relevance
Kastner, Julia; Loss, Julian; Xu, Jiayu

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).
MSC:  94A62 94A60 91B12 91B99
PDF BibTeX XML Cite
\textit{J. Kastner} et al., Lect. Notes Comput. Sci. 13794, 279--309 (2023; Zbl 1519.94224)
Full Text: DOI
van der Berg, Ineke; De Domenico, Andrea; Greco, Giuseppe; Manoorkar, Krishna B.; Palmigiano, Alessandra; Panettiere, Mattia

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
\textit{I. van der Berg} et al., Lect. Notes Comput. Sci. 13963, 23--47 (2023; Zbl 07728686)
Full Text: DOI
Robert, Léo; Miyahara, Daiki; Lafourcade, Pascal; Mizuki, Takaaki

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
\textit{L. Robert} et al., Lect. Notes Comput. Sci. 13571, 201--217 (2023; Zbl 07722842)
Full Text: DOI
Ruangwises, Suthee; Itoh, Toshiya

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
\textit{S. Ruangwises} and \textit{T. Itoh}, Lect. Notes Comput. Sci. 13571, 43--54 (2023; Zbl 07722830)
Full Text: DOI arXiv
Liu, Si-Han; Yao, Jia-Yan

Transcendence of \(L(1,\chi_s)/\pi\) in positive characteristic. A simple automata-style proof. (Transcendance de \(L(1,\chi_s)/\pi\) en caractéristique positive. Une preuve simple avec automates finis.) (English. French summary) Zbl 07714238

C. R., Math., Acad. Sci. Paris 361, 953-957 (2023).
Reviewer: Jaroslav Hančl (Ostrava)
MSC:  11J81 11B85
PDF BibTeX XML Cite
\textit{S.-H. Liu} and \textit{J.-Y. Yao}, C. R., Math., Acad. Sci. Paris 361, 953--957 (2023; Zbl 07714238)
Full Text: DOI
Pentus, A. E.; Pentus, M. R.

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
\textit{A. E. Pentus} and \textit{M. R. Pentus}, J. Math. Sci., New York 269, No. 4, 544--557 (2023; Zbl 07659854); translation from Fundam. Prikl. Mat. 23, No. 4, 143--162 (2021)
Full Text: DOI
Andrews, Robert; Forbes, Michael A.

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
\textit{R. Andrews} and \textit{M. A. Forbes}, in: 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; Zbl 07774347)
Full Text: DOI arXiv
Mousavi, Hamoon; Nezhadi, Seyed Sajjad; Yuen, Henry

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
\textit{H. Mousavi} et al., in: 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; Zbl 07774315)
Full Text: DOI arXiv
Afshari, Bahareh; Wehr, Dominik

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
\textit{B. Afshari} and \textit{D. Wehr}, Lect. Notes Comput. Sci. 13468, 309--325 (2022; Zbl 07691331)
Full Text: DOI
Rooduijn, Jan; Zenger, Lukas

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
\textit{J. Rooduijn} and \textit{L. Zenger}, in: 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; Zbl 07668120)
Orlandelli, Eugenio; Tesi, Matteo

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
\textit{E. Orlandelli} and \textit{M. Tesi}, in: 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; Zbl 07668118)
Goré, Rajeev; Shillito, Ian

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).
Reviewer: Annika Kanckos (Helsinki)
MSC:  03F45 03B35 03F05
PDF BibTeX XML Cite
\textit{R. Goré} and \textit{I. Shillito}, in: 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; Zbl 1518.03015)
De Domenico, Andrea; Greco, Giuseppe

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
\textit{A. De Domenico} and \textit{G. Greco}, in: 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; Zbl 07668106)
Full Text: arXiv
Dalmonte, Tiziano; Girlando, Marianna

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
\textit{T. Dalmonte} and \textit{M. Girlando}, in: 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; Zbl 07668103)
Full Text: arXiv
Acclavio, Matteo; Straßburger, Lutz

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
\textit{M. Acclavio} and \textit{L. Straßburger}, in: 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; Zbl 07668089)

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

Biographic Reference

all top 3

Software