×

zbMATH — the first resource for mathematics

Found 13,976 Documents (Results 1–100)

Hits per Page
100
Display Format
MathJax
Result Sorting
Newest 1st
Dostál, Mǎtej; Sadrzadeh, Mehrnoosh; Wijnholds, Gijs
Fuzzy generalised quantifiers for natural language in categorical compositional distributional semantics. (English) Zbl 07326273
Mojtahedi, Mojtaba (ed.) et al., Mathematics, logic, and their philosophies. Essays in honour of Mohammad Ardeshir. Cham: Springer (ISBN 978-3-030-53653-4/hbk; 978-3-030-53654-1/ebook). Logic, Epistemology, and the Unity of Science 49, 135-160 (2021).
MSC:  03A05 03Bxx
PDF BibTeX XML Cite
\textit{M. Dostál} et al., Log. Epistemol. Unity Sci. 49, 135--160 (2021; Zbl 07326273)
Full Text: DOI
Nguyen Van, Hai; Balabonski, Thibaut; Boulanger, Frédéric; Keller, Chantal; Valiron, Benoît; Wolff, Burkhart
On the semantics of polychronous polytimed specifications. (English) Zbl 07317088
Bertrand, Nathalie (ed.) et al., Formal modeling and analysis of timed systems. 18th international conference, FORMATS 2020, Vienna, Austria, September 1–3, 2020. Proceedings. Cham: Springer (ISBN 978-3-030-57627-1/pbk; 978-3-030-57628-8/ebook). Lecture Notes in Computer Science 12288, 23-40 (2020).
MSC:  68Qxx
PDF BibTeX XML Cite
\textit{H. Nguyen Van} et al., Lect. Notes Comput. Sci. 12288, 23--40 (2020; Zbl 07317088)
Full Text: DOI
Zamdzhiev, Vladimir
Semantics for first-order affine inductive data types via slice categories. (English) Zbl 07314154
Petrişan, Daniela (ed.) et al., Coalgebraic methods in computer science. 15th IFIP WG 1.3 international workshop, CMCS 2020, colocated with ETAPS 2020, Dublin, Ireland, April 25–26, 2020. Proceedings. Cham: Springer (ISBN 978-3-030-57200-6/pbk; 978-3-030-57201-3/ebook). Lecture Notes in Computer Science 12094, 180-200 (2020).
MSC:  68Q65
PDF BibTeX XML Cite
\textit{V. Zamdzhiev}, Lect. Notes Comput. Sci. 12094, 180--200 (2020; Zbl 07314154)
Full Text: DOI
Tsampas, Stelios; Nuyts, Andreas; Devriese, Dominique; Piessens, Frank
A categorical approach to secure compilation. (English) Zbl 07314153
Petrişan, Daniela (ed.) et al., Coalgebraic methods in computer science. 15th IFIP WG 1.3 international workshop, CMCS 2020, colocated with ETAPS 2020, Dublin, Ireland, April 25–26, 2020. Proceedings. Cham: Springer (ISBN 978-3-030-57200-6/pbk; 978-3-030-57201-3/ebook). Lecture Notes in Computer Science 12094, 155-179 (2020).
MSC:  68Q65
PDF BibTeX XML Cite
\textit{S. Tsampas} et al., Lect. Notes Comput. Sci. 12094, 155--179 (2020; Zbl 07314153)
Full Text: DOI
Urciuoli, Sebastián; Tasistro, Álvaro; Szasz, Nora
Strong normalization for the simply-typed lambda calculus in constructive type theory using Agda. (English) Zbl 07313971
Nalon, Cláudia (ed.) et al., Proceedings of the 15th international workshop on logical and semantic frameworks, with applications, LSFA 2020, virtual workshop, August 27–28, 2020. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 351, 187-203 (2020).
MSC:  03B70 68Q55 68T27
PDF BibTeX XML Cite
\textit{S. Urciuoli} et al., Electron. Notes Theor. Comput. Sci. 351, 187--203 (2020; Zbl 07313971)
Full Text: DOI
Preto, Sandro; Finger, Marcelo
An efficient algorithm for representing piecewise linear functions into logic. (English) Zbl 07313970
Nalon, Cláudia (ed.) et al., Proceedings of the 15th international workshop on logical and semantic frameworks, with applications, LSFA 2020, virtual workshop, August 27–28, 2020. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 351, 167-186 (2020).
MSC:  03B70 68Q55 68T27
PDF BibTeX XML Cite
\textit{S. Preto} and \textit{M. Finger}, Electron. Notes Theor. Comput. Sci. 351, 167--186 (2020; Zbl 07313970)
Full Text: DOI
Olarte, Carlos; Pimentel, Elaine; Xavier, Bruno
A fresh view of linear logic as a logical framework. (English) Zbl 07313969
Nalon, Cláudia (ed.) et al., Proceedings of the 15th international workshop on logical and semantic frameworks, with applications, LSFA 2020, virtual workshop, August 27–28, 2020. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 351, 143-165 (2020).
MSC:  03B70 68Q55 68T27
PDF BibTeX XML Cite
\textit{C. Olarte} et al., Electron. Notes Theor. Comput. Sci. 351, 143--165 (2020; Zbl 07313969)
Full Text: DOI
Amir-Mohammadian, Sepehr; Kari, Chadi
Correct audit logging in concurrent systems. (English) Zbl 07313968
Nalon, Cláudia (ed.) et al., Proceedings of the 15th international workshop on logical and semantic frameworks, with applications, LSFA 2020, virtual workshop, August 27–28, 2020. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 351, 115-141 (2020).
MSC:  03B70 68Q55 68T27
PDF BibTeX XML Cite
\textit{S. Amir-Mohammadian} and \textit{C. Kari}, Electron. Notes Theor. Comput. Sci. 351, 115--141 (2020; Zbl 07313968)
Full Text: DOI
Martín, Alexis; Ríos, Alejandro; Viso, Andrés
Pure pattern calculus à la de Bruijn. (English) Zbl 07313967
Nalon, Cláudia (ed.) et al., Proceedings of the 15th international workshop on logical and semantic frameworks, with applications, LSFA 2020, virtual workshop, August 27–28, 2020. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 351, 95-113 (2020).
MSC:  03B70 68Q55 68T27
PDF BibTeX XML Cite
\textit{A. Martín} et al., Electron. Notes Theor. Comput. Sci. 351, 95--113 (2020; Zbl 07313967)
Full Text: DOI
Manzino, Cecilia; Pardo, Alberto
Agda formalization of a security-preserving translation from flow-sensitive to flow-insensitive security types. (English) Zbl 07313966
Nalon, Cláudia (ed.) et al., Proceedings of the 15th international workshop on logical and semantic frameworks, with applications, LSFA 2020, virtual workshop, August 27–28, 2020. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 351, 75-94 (2020).
MSC:  03B70 68Q55 68T27
PDF BibTeX XML Cite
\textit{C. Manzino} and \textit{A. Pardo}, Electron. Notes Theor. Comput. Sci. 351, 75--94 (2020; Zbl 07313966)
Full Text: DOI
Mansky, Susannah; Gunter, Elsa L.
Safety of a smart classes-used regression test selection algorithm. (English) Zbl 07313965
Nalon, Cláudia (ed.) et al., Proceedings of the 15th international workshop on logical and semantic frameworks, with applications, LSFA 2020, virtual workshop, August 27–28, 2020. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 351, 51-73 (2020).
MSC:  03B70 68Q55 68T27
PDF BibTeX XML Cite
\textit{S. Mansky} and \textit{E. L. Gunter}, Electron. Notes Theor. Comput. Sci. 351, 51--73 (2020; Zbl 07313965)
Full Text: DOI
Brodo, Linda; Olarte, Carlos
A constraint-based language for multiparty interactions. (English) Zbl 07313964
Nalon, Cláudia (ed.) et al., Proceedings of the 15th international workshop on logical and semantic frameworks, with applications, LSFA 2020, virtual workshop, August 27–28, 2020. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 351, 25-50 (2020).
MSC:  03B70 68Q55 68T27
PDF BibTeX XML Cite
\textit{L. Brodo} and \textit{C. Olarte}, Electron. Notes Theor. Comput. Sci. 351, 25--50 (2020; Zbl 07313964)
Full Text: DOI
Alves, Sandra; Fernández, Maribel; Ramos, Miguel
EVL: a typed higher-order functional language for events. (English) Zbl 07313963
Nalon, Cláudia (ed.) et al., Proceedings of the 15th international workshop on logical and semantic frameworks, with applications, LSFA 2020, virtual workshop, August 27–28, 2020. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 351, 3-23 (2020).
MSC:  03B70 68Q55 68T27
PDF BibTeX XML Cite
\textit{S. Alves} et al., Electron. Notes Theor. Comput. Sci. 351, 3--23 (2020; Zbl 07313963)
Full Text: DOI
Stovall, Preston
Proof-theoretic semantics and the interpretation of atomic sentences. (English) Zbl 07307096
Sedlár, Igor Igor (ed.) et al., The Logica yearbook 2019. Selected papers based on the presentations at the symposium Logica 2019, Hejnice, Czech Republic, June 24–28, 2019. London: College Publications (ISBN 978-1-84890-327-2/pbk). 163-177 (2020).
MSC:  03A05 03B42 03B45 03B65
PDF BibTeX XML Cite
\textit{P. Stovall}, in: The Logica yearbook 2019. Selected papers based on the presentations at the symposium Logica 2019, Hejnice, Czech Republic, June 24--28, 2019. London: College Publications. 163--177 (2020; Zbl 07307096)
Raidl, Eric
Revision operator semantics: some order for the zoo of conditionals. (English) Zbl 07307092
Sedlár, Igor Igor (ed.) et al., The Logica yearbook 2019. Selected papers based on the presentations at the symposium Logica 2019, Hejnice, Czech Republic, June 24–28, 2019. London: College Publications (ISBN 978-1-84890-327-2/pbk). 93-110 (2020).
MSC:  03A05 03B42 03B45 03B65
PDF BibTeX XML Cite
\textit{E. Raidl}, in: The Logica yearbook 2019. Selected papers based on the presentations at the symposium Logica 2019, Hejnice, Czech Republic, June 24--28, 2019. London: College Publications. 93--110 (2020; Zbl 07307092)
Běhounek, Libor
A degree-theoretic framework for feasible knowledge. (English) Zbl 07307086
Sedlár, Igor Igor (ed.) et al., The Logica yearbook 2019. Selected papers based on the presentations at the symposium Logica 2019, Hejnice, Czech Republic, June 24–28, 2019. London: College Publications (ISBN 978-1-84890-327-2/pbk). 1-15 (2020).
MSC:  03A05 03B42 03B45 03B65
PDF BibTeX XML Cite
\textit{L. Běhounek}, in: The Logica yearbook 2019. Selected papers based on the presentations at the symposium Logica 2019, Hejnice, Czech Republic, June 24--28, 2019. London: College Publications. 1--15 (2020; Zbl 07307086)
Waga, Masaki
Falsification of cyber-physical systems with robustness-guided black-box checking. (English) Zbl 07300852
Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21–24, 2020. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-7018-9). Article No. 11, 13 p. (2020).
MSC:  68Q45 68Q60 93C30
PDF BibTeX XML Cite
\textit{M. Waga}, in: Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21--24, 2020. New York, NY: Association for Computing Machinery (ACM). Article No. 11, 13 p. (2020; Zbl 07300852)
Full Text: DOI
Koenig, Jérémie; Shao, Zhong
Refinement-based game semantics for certified abstraction layers. (English) Zbl 07299501
Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8–11, 2020. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-7104-9). 633-647 (2020).
MSC:  68
PDF BibTeX XML Cite
\textit{J. Koenig} and \textit{Z. Shao}, in: Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8--11, 2020. New York, NY: Association for Computing Machinery (ACM). 633--647 (2020; Zbl 07299501)
Full Text: DOI
Hannula, Miika; Kontinen, Juha; Van den Bussche, Jan; Virtema, Jonni
Descriptive complexity of real computation and probabilistic independence logic. (English) Zbl 07299495
Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8–11, 2020. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-7104-9). 550-563 (2020).
MSC:  68 03B70
PDF BibTeX XML Cite
\textit{M. Hannula} et al., in: Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8--11, 2020. New York, NY: Association for Computing Machinery (ACM). 550--563 (2020; Zbl 07299495)
Full Text: DOI
Gratzer, Daniel; Kavvos, G. A.; Nuyts, Andreas; Birkedal, Lars
Multimodal dependent type theory. (English) Zbl 07299491
Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8–11, 2020. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-7104-9). 492-506 (2020).
MSC:  03B70
PDF BibTeX XML Cite
\textit{D. Gratzer} et al., in: Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8--11, 2020. New York, NY: Association for Computing Machinery (ACM). 492--506 (2020; Zbl 07299491)
Full Text: DOI
Goy, Alexandre; Petrişan, Daniela
Combining probabilistic and non-deterministic choice via weak distributive laws. (English) Zbl 07299488
Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8–11, 2020. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-7104-9). 454-464 (2020).
MSC:  03B70
PDF BibTeX XML Cite
\textit{A. Goy} and \textit{D. Petrişan}, in: Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8--11, 2020. New York, NY: Association for Computing Machinery (ACM). 454--464 (2020; Zbl 07299488)
Full Text: DOI
Ehrhard, Thomas
Cones as a model of intuitionistic linear logic. (English) Zbl 07299482
Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8–11, 2020. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-7104-9). 370-383 (2020).
MSC:  03B70
PDF BibTeX XML Cite
\textit{T. Ehrhard}, in: Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8--11, 2020. New York, NY: Association for Computing Machinery (ACM). 370--383 (2020; Zbl 07299482)
Full Text: DOI
Borthelle, Peio; Hirschowitz, Tom; Lafont, Ambroise
A cellular Howe theorem. (English) Zbl 07299475
Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8–11, 2020. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-7104-9). 273-286 (2020).
MSC:  68
PDF BibTeX XML Cite
\textit{P. Borthelle} et al., in: Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8--11, 2020. New York, NY: Association for Computing Machinery (ACM). 273--286 (2020; Zbl 07299475)
Full Text: DOI
Arkor, Nathanael; Fiore, Marcelo
Algebraic models of simple type theories. A polynomial approach. (English) Zbl 07299461
Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8–11, 2020. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-7104-9). 88-101 (2020).
MSC:  03B70
PDF BibTeX XML Cite
\textit{N. Arkor} and \textit{M. Fiore}, in: Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8--11, 2020. New York, NY: Association for Computing Machinery (ACM). 88--101 (2020; Zbl 07299461)
Full Text: DOI
Bono, Viviana; Dezani-Ciancaglini, Mariangiola
A tale of intersection types. (English) Zbl 07299454
Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8–11, 2020. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-7104-9). 7-20 (2020).
MSC:  03B40 68N18
PDF BibTeX XML Cite
\textit{V. Bono} and \textit{M. Dezani-Ciancaglini}, in: Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8--11, 2020. New York, NY: Association for Computing Machinery (ACM). 7--20 (2020; Zbl 07299454)
Full Text: DOI
Ayala-Rincón, Mauricio; Fernández, Maribel; Sobrinho, Daniele Nantes; Vale, Deivid
On solving nominal disunification constraints. (English) Zbl 07297789
Felty, Amy (ed.) et al., 14th international workshop on logical and semantic frameworks, with applications, LSFA 2019, Natal, Brazil, in August 2019. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 348, 3-22 (2020).
MSC:  03B70 68Q55
PDF BibTeX XML Cite
\textit{M. Ayala-Rincón} et al., Electron. Notes Theor. Comput. Sci. 348, 3--22 (2020; Zbl 07297789)
Full Text: DOI
Johann, Patricia (ed.)
Proceedings of the 36th conference on mathematical foundations of programming semantics, MFPS XXXVI, virtual conference, June 2–6, 2020. (English) Zbl 1451.68024
Electronic Notes in Theoretical Computer Science 352. Amsterdam: Elsevier. 304 p., electronic only, open access (2020).
MSC:  68-06 68N30 68Q55 00B25
PDF BibTeX XML Cite
\textit{P. Johann} (ed.), Proceedings of the 36th conference on mathematical foundations of programming semantics, MFPS XXXVI, virtual conference, June 2--6, 2020. Amsterdam: Elsevier (2020; Zbl 1451.68024)
Full Text: Link
Nalon, Cláudia (ed.); Reis, Giselle (ed.)
Proceedings of the 15th international workshop on logical and semantic frameworks, with applications, LSFA 2020, virtual workshop, August 27–28, 2020. (English) Zbl 1451.68025
Electronic Notes in Theoretical Computer Science 351. Amsterdam: Elsevier. 204 p., electronic only, open access (2020).
MSC:  68-06 03B70 68Q55 68T27 00B25
PDF BibTeX XML Cite
\textit{C. Nalon} (ed.) and \textit{G. Reis} (ed.), Proceedings of the 15th international workshop on logical and semantic frameworks, with applications, LSFA 2020, virtual workshop, August 27--28, 2020. Amsterdam: Elsevier (2020; Zbl 1451.68025)
Full Text: Link
Ghilezan, Silvia; Ivetić, Jelena; Kašterović, Simona; Ognjanović, Zoran; Savić, Nenad
Towards probabilistic reasoning in type theory – the intersection type case. (English) Zbl 07266049
Herzig, Andreas (ed.) et al., Foundations of information and knowledge systems. 11th international symposium, FoIKS 2020, Dortmund, Germany, February 17–21, 2020. Proceedings. Cham: Springer (ISBN 978-3-030-39950-4/pbk; 978-3-030-39951-1/ebook). Lecture Notes in Computer Science 12012, 122-139 (2020).
MSC:  68P15 68T27 68T35 68U35
PDF BibTeX XML Cite
\textit{S. Ghilezan} et al., Lect. Notes Comput. Sci. 12012, 122--139 (2020; Zbl 07266049)
Full Text: DOI
Galliani, Pietro; Väänänen, Jouko
Diversity, dependence and independence. (English) Zbl 07266048
Herzig, Andreas (ed.) et al., Foundations of information and knowledge systems. 11th international symposium, FoIKS 2020, Dortmund, Germany, February 17–21, 2020. Proceedings. Cham: Springer (ISBN 978-3-030-39950-4/pbk; 978-3-030-39951-1/ebook). Lecture Notes in Computer Science 12012, 106-121 (2020).
MSC:  68P15 68T27 68T35 68U35
PDF BibTeX XML Cite
\textit{P. Galliani} and \textit{J. Väänänen}, Lect. Notes Comput. Sci. 12012, 106--121 (2020; Zbl 07266048)
Full Text: DOI
Péchoux, Romain; Perdrix, Simon; Rennela, Mathys; Zamdzhiev, Vladimir
Quantum programming with inductive datatypes: causality and affine type theory. (English) Zbl 1442.68034
Goubault-Larrecq, Jean (ed.) et al., Foundations of software science and computation structures. 23rd international conference, FOSSACS 2020, held as part of the European joint conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12077, 562-581 (2020).
MSC:  68N30 68N15 68Q55 81P68
PDF BibTeX XML Cite
\textit{R. Péchoux} et al., Lect. Notes Comput. Sci. 12077, 562--581 (2020; Zbl 1442.68034)
Full Text: DOI
Ehrhard, Thomas
Non-idempotent intersection types in logical form. (English) Zbl 07250939
Goubault-Larrecq, Jean (ed.) et al., Foundations of software science and computation structures. 23rd international conference, FOSSACS 2020, held as part of the European joint conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020. Proceedings. Cham: Springer (ISBN 978-3-030-45230-8/pbk; 978-3-030-45231-5/ebook). Lecture Notes in Computer Science 12077, 198-216 (2020).
MSC:  68Nxx 68Qxx
PDF BibTeX XML Cite
\textit{T. Ehrhard}, Lect. Notes Comput. Sci. 12077, 198--216 (2020; Zbl 07250939)
Full Text: DOI
Adámek, Jiří; Milius, Stefan; Moss, Lawrence S.
On well-founded and recursive coalgebras. (English) Zbl 1455.18001
Goubault-Larrecq, Jean (ed.) et al., Foundations of software science and computation structures. 23rd international conference, FOSSACS 2020, held as part of the European joint conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12077, 17-36 (2020).
Reviewer: Ahmet A. Khusainov (Komsomolsk-om-Amur)
MSC:  18A15 18C50 68Q65
PDF BibTeX XML Cite
\textit{J. Adámek} et al., Lect. Notes Comput. Sci. 12077, 17--36 (2020; Zbl 1455.18001)
Full Text: DOI

Filter Results by …

Document Type
Reviewing State
all top 5
Author
all top 5
Serial
all top 5
Year of Publication
all top 3
Classification
all top 3
Biographic Reference
all top 3
Software