×

Found 2,622 Documents (Results 1–100)

Decoding tree decompositions from permutations. (English) Zbl 07857838

Soto, José A. (ed.) et al., Latin 2024: theoretical informatics. 16th Latin American symposium, Puerto Varas, Chile, March 18–22, 2024. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 14578, 19-34 (2024).
MSC:  68Qxx 68Rxx 68Wxx
PDFBibTeX XMLCite
Full Text: DOI

On intuitionistic diamonds (and lack thereof). (English) Zbl 07850750

Ramanayake, Revantha (ed.) et al., Automated reasoning with analytic tableaux and related methods. 32nd international conference, TABLEAUX 2023, Prague, Czech Republic, September 18–21, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14278, 283-301 (2023).
MSC:  68V15
PDFBibTeX XMLCite
Full Text: DOI

A new calculus for intuitionistic strong Löb logic: strong termination and cut-elimination, formalised. (English) Zbl 07850739

Ramanayake, Revantha (ed.) et al., Automated reasoning with analytic tableaux and related methods. 32nd international conference, TABLEAUX 2023, Prague, Czech Republic, September 18–21, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14278, 73-93 (2023).
MSC:  68V15
PDFBibTeX XMLCite
Full Text: DOI arXiv

Strong forcing axioms and the continuum problem [after Asperó’s and Schindler’s proof that \(\mathrm{MM}^{++}\) implies Woodin’s axiom \((*)\)]. (Axiomes de forcing forts et l’hypothèse du continu [suivant la démonstration d’Asperó et Schindler que \(\mathrm{MM}^{++}\) entraîne l’axiome de Woodin \((*)\)].) (English) Zbl 07827471

Séminaire Bourbaki. Volume 2021/2022. Exposés 1197–1210. Paris: Société Mathématique de France (SMF). Astérisque 446, 383-416, Exp. No. 1207 (2023).
PDFBibTeX XMLCite
Full Text: DOI

Constructive algorithm to vectorize \((P \otimes P\) product for symmetric matrix \(P\). (English. Russian original) Zbl 1533.81029

Comput. Math. Math. Phys. 63, No. 9, 1559-1570 (2023); translation from Zh. Vychisl. Mat. Mat. Fiz. 63, No. 9, 1415-1427 (2023).
PDFBibTeX XMLCite
Full Text: DOI

On the extension of a family of projections to a positive operator-valued measure. (English. Russian original) Zbl 1522.81036

Vestn. St. Petersbg. Univ., Math. 56, No. 1, 1-8 (2023); translation from Vestn. St-Peterbg. Univ., Ser. I, Mat. Mekh. Astron. 10(68), No. 1, 3-13 (2023).
PDFBibTeX XMLCite
Full Text: DOI

Particles and \(p-\)adic integrals of Spin\(\left(\frac{1}{2}\right)\): spin Lie group, \(\mathcal{R}(\rho,q)-\)gamma and \(\mathcal{R}(\rho,q)-\) beta functions, ghost and applications. arXiv:2308.06363

Preprint, arXiv:2308.06363 [math.NT] (2023).
BibTeX Cite
Full Text: arXiv

\(3.1n-o(n)\) circuit lower bounds for explicit functions. (English) Zbl 07774409

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). 1180-1193 (2022).
MSC:  68Qxx
PDFBibTeX XMLCite
Full Text: DOI

Distributed \(\Delta\)-coloring plays hide-and-seek. (English) Zbl 07774353

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). 464-477 (2022).
MSC:  68Qxx
PDFBibTeX XMLCite
Full Text: DOI arXiv

Back and forth in positive logic. (English) Zbl 07740534

Béziau, Jean-Yves (ed.) et al., Logic in question. Talks from the annual Sorbonne logic workshop (2011–2019), Paris, France, April 15–16, 2019. Cham: Birkhäuser. Stud. Univers. Log., 603-609 (2022).
PDFBibTeX XMLCite
Full Text: DOI

Kernelization for feedback vertex set via elimination distance to a forest. (English) Zbl 07682408

Bekos, Michael A. (ed.) et al., Graph-theoretic concepts in computer science. 48th international workshop, WG 2022, Tübingen, Germany, June 22–24, 2022. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 13453, 158-172 (2022).
MSC:  68R10
PDFBibTeX XMLCite
Full Text: DOI arXiv

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

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:  03B45 03F05 03F03
PDFBibTeX XMLCite

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
PDFBibTeX XMLCite

Algorithmic correspondence and analytic rules. (English) Zbl 1531.03089

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 03F05 03B45
PDFBibTeX XMLCite
Full Text: arXiv

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

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).
PDFBibTeX XMLCite
Full Text: arXiv

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

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 03F05
PDFBibTeX XMLCite

Filter Results by …

Document Type

Database

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software