×

Found 4,409 Documents (Results 1–100)

100
MathJax

Logic and verification of product configuration in the automotive industry. (English) Zbl 07543891

Mainzer, Klaus (ed.) et al., Proof and computation II. From proof theory and univalent mathematics to program extraction and verification. Based on the international autumn school “Proof and computation”, September 20–26, 2019. Hackensack, NJ: World Scientific. 387-408 (2022).
PDF BibTeX XML Cite
Full Text: DOI

The Braga method: extracting certified algorithms from complex recursive schemes in Coq. (English) Zbl 07543890

Mainzer, Klaus (ed.) et al., Proof and computation II. From proof theory and univalent mathematics to program extraction and verification. Based on the international autumn school “Proof and computation”, September 20–26, 2019. Hackensack, NJ: World Scientific. 305-386 (2022).
PDF BibTeX XML Cite
Full Text: DOI

An Ad-Hoc semantics to study structural properties of types. (English) Zbl 07543889

Mainzer, Klaus (ed.) et al., Proof and computation II. From proof theory and univalent mathematics to program extraction and verification. Based on the international autumn school “Proof and computation”, September 20–26, 2019. Hackensack, NJ: World Scientific. 267-303 (2022).
PDF BibTeX XML Cite
Full Text: DOI

Formal topology and univalent foundations. (English) Zbl 07543888

Mainzer, Klaus (ed.) et al., Proof and computation II. From proof theory and univalent mathematics to program extraction and verification. Based on the international autumn school “Proof and computation”, September 20–26, 2019. Hackensack, NJ: World Scientific. 255-266 (2022).
PDF BibTeX XML Cite
Full Text: DOI

A uniform characterization of \(\Sigma_1\)-reflection over the fragments of Peano arithmetic. (English) Zbl 07543887

Mainzer, Klaus (ed.) et al., Proof and computation II. From proof theory and univalent mathematics to program extraction and verification. Based on the international autumn school “Proof and computation”, September 20–26, 2019. Hackensack, NJ: World Scientific. 189-253 (2022).
PDF BibTeX XML Cite
Full Text: DOI

Generalized spaces for constructive algebra. (English) Zbl 07543886

Mainzer, Klaus (ed.) et al., Proof and computation II. From proof theory and univalent mathematics to program extraction and verification. Based on the international autumn school “Proof and computation”, September 20–26, 2019. Hackensack, NJ: World Scientific. 99-187 (2022).
PDF BibTeX XML Cite
Full Text: DOI

From intuitionistic mathematics to point-free topology. (English) Zbl 07543885

Mainzer, Klaus (ed.) et al., Proof and computation II. From proof theory and univalent mathematics to program extraction and verification. Based on the international autumn school “Proof and computation”, September 20–26, 2019. Hackensack, NJ: World Scientific. 55-98 (2022).
PDF BibTeX XML Cite
Full Text: DOI

Conceptions of proof from aristotle to Gentzen’s calculi. (English) Zbl 07543884

Mainzer, Klaus (ed.) et al., Proof and computation II. From proof theory and univalent mathematics to program extraction and verification. Based on the international autumn school “Proof and computation”, September 20–26, 2019. Hackensack, NJ: World Scientific. 33-54 (2022).
PDF BibTeX XML Cite
Full Text: DOI

Proof and computation: perspectives for mathematics, computer science, and philosophy. (English) Zbl 07543883

Mainzer, Klaus (ed.) et al., Proof and computation II. From proof theory and univalent mathematics to program extraction and verification. Based on the international autumn school “Proof and computation”, September 20–26, 2019. Hackensack, NJ: World Scientific. 1-32 (2022).
PDF BibTeX XML Cite
Full Text: DOI

Proof nets for the Lambek calculus with one division and a negative-polarity modality for weakening. (English. Russian original) Zbl 07538686

J. Math. Sci., New York 262, No. 5, 759-766 (2022); translation from Fundam. Prikl. Mat. 23, No. 2, 247-257 (2020).
MSC:  03Bxx 03Fxx 68Qxx
PDF BibTeX XML Cite
Full Text: DOI

Discrete mathematics. Basis of computer science. 2nd edition. (Diskrete Mathematik. Grundlage der Informatik.) (German) Zbl 07220869

De Gruyter Studium. Berlin: De Gruyter/Oldenbourg (ISBN 978-3-11-069554-0/pbk; 978-3-11-069555-7/ebook). xiii, 133 p. (2022).
MSC:  68-01 00A06 68R01
PDF BibTeX XML Cite
Full Text: DOI

Physical ZKP for connected spanning subgraph: applications to bridges puzzle and other problems. (English) Zbl 07553909

Kostitsyna, Irina et al., Unconventional computation and natural computation. 19th international conference, UCNC 2021, Espoo, Finland, October 18–22, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12984, 149-163 (2021).
PDF BibTeX XML Cite
Full Text: DOI

Affine automata verifiers. (English) Zbl 07553905

Kostitsyna, Irina et al., Unconventional computation and natural computation. 19th international conference, UCNC 2021, Espoo, Finland, October 18–22, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12984, 84-100 (2021).
PDF BibTeX XML Cite
Full Text: DOI

Zero-knowledge proof protocol for cryptarithmetic using dihedral cards. (English) Zbl 07553903

Kostitsyna, Irina et al., Unconventional computation and natural computation. 19th international conference, UCNC 2021, Espoo, Finland, October 18–22, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12984, 51-67 (2021).
PDF BibTeX XML Cite
Full Text: DOI

Selfish mining attacks exacerbated by elastic hash supply. (English) Zbl 07546628

Borisov, Nikita (ed.) et al., Financial cryptography and data security. 25th international conference, FC 2021, virtual event, March 1–5, 2021. Revised selected papers. Part II. Berlin, Heidelberg: Springer. Lect. Notes Comput. Sci. 12675, 269-276 (2021).
MSC:  68Pxx 94A60 91Bxx
PDF BibTeX XML Cite
Full Text: DOI

Weight-based Nakamoto-style blockchains. (English) Zbl 07542391

Longa, Patrick (ed.) et al., Progress in cryptology – LATINCRYPT 2021. 7th international conference on cryptology and information security in Latin America, Bogotá, Colombia, October 6–8, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12912, 299-319 (2021).
PDF BibTeX XML Cite
Full Text: DOI

Nested sequents for intuitionistic modal logics via structural refinement. (English) Zbl 07532529

Das, Anupam (ed.) et al., Automated reasoning with analytic tableaux and related methods. 30th international conference, TABLEAUX 2021, Birmingham, UK, September 6–9, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12842, 409-427 (2021).
MSC:  68V15
PDF BibTeX XML Cite
Full Text: DOI

Cut-elimination for provability logic by terminating proof-search: formalised and deconstructed using Coq. (English) Zbl 07532523

Das, Anupam (ed.) et al., Automated reasoning with analytic tableaux and related methods. 30th international conference, TABLEAUX 2021, Birmingham, UK, September 6–9, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12842, 299-313 (2021).
MSC:  68V15
PDF BibTeX XML Cite
Full Text: DOI

A formally verified cut-elimination procedure for linear nested sequents for tense logic. (English) Zbl 07532522

Das, Anupam (ed.) et al., Automated reasoning with analytic tableaux and related methods. 30th international conference, TABLEAUX 2021, Birmingham, UK, September 6–9, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12842, 281-298 (2021).
MSC:  68V15
PDF BibTeX XML Cite
Full Text: DOI

A modular first formalisation of combinatorial design theory. (English) Zbl 1485.68291

Kamareddine, Fairouz (ed.) et al., Intelligent computer mathematics. 14th international conference, CICM 2021, Timisoara, Romania, July 26–31, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12833, 3-18 (2021).
MSC:  68V20 05Bxx 06D22
PDF BibTeX XML Cite
Full Text: DOI

A note on paradoxical propositions from an inferential point of view. (English) Zbl 07503174

Blicha, Martin (ed.) et al., The Logica yearbook 2020. Papers based on the submitted abstracts of the cancelled symposium Logica 2020. London: College Publications. 183-199 (2021).
MSC:  03A05
PDF BibTeX XML Cite

On preserving the computational content of mathematical proofs: toy examples for a formalising strategy. (English) Zbl 07495176

De Mol, Liesbeth (ed.) et al., Connecting with computability. 17th conference on computability in Europe, CiE 2021, virtual event, Ghent, Belgium, July 5–9, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12813, 285-296 (2021).
MSC:  68Qxx
PDF BibTeX XML Cite
Full Text: DOI

Defining formal explanation in classical logic by substructural derivability. (English) Zbl 07495172

De Mol, Liesbeth (ed.) et al., Connecting with computability. 17th conference on computability in Europe, CiE 2021, virtual event, Ghent, Belgium, July 5–9, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12813, 237-247 (2021).
MSC:  68Qxx
PDF BibTeX XML Cite
Full Text: DOI

A flexible approach to argumentation framework analysis using theorem proving. (English) Zbl 1484.68228

Liao, Beishui (ed.) et al., Logics for new-generation AI 2021. First international workshop, LNGAI 2021, June, 18–20 2021, Hangzhou, China. London: College Publications. 18-32 (2021).
MSC:  68T27 68V15
PDF BibTeX XML Cite

Advances in mathematical logic. Dedicated to the memory of Professor Gaisi Takeuti, SAML 2018. Selected, revised contributions based on the presentations at the symposium, Kobe, Japan, September 18–20, 2018. (English) Zbl 1479.03003

Springer Proceedings in Mathematics & Statistics 369. Singapore: Springer (ISBN 978-981-16-4172-5/hbk; 978-981-16-4173-2/ebook). xi, 229 p. (2021).
PDF BibTeX XML Cite
Full Text: DOI

Connecting sequent calculi with Lorenzen-style dialogue games. (English) Zbl 07465330

Heinzmann, Gerhard (ed.) et al., Paul Lorenzen – mathematician and logician. Contributions presented at the workshop, Konstanz, Germany, March 8–9, 2018. Cham: Springer. Log. Epistemol. Unity Sci. 51, 115-141 (2021).
PDF BibTeX XML Cite
Full Text: DOI

Lorenzen and constructive mathematics. (English) Zbl 07465326

Heinzmann, Gerhard (ed.) et al., Paul Lorenzen – mathematician and logician. Contributions presented at the workshop, Konstanz, Germany, March 8–9, 2018. Cham: Springer. Log. Epistemol. Unity Sci. 51, 47-61 (2021).
PDF BibTeX XML Cite
Full Text: DOI

Proof theory of partially normal skew monoidal categories. (English) Zbl 1477.18041

Spivak, David I. (ed.) et al., Proceedings of the 3rd annual international applied category theory conference 2020, ACT 2020, Cambridge, USA, July 6–10, 2020. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 333, 230-246 (2021).
MSC:  18M45 03F03 03G30
PDF BibTeX XML Cite
Full Text: arXiv Link

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

Classification

all top 3

Software