×

Found 1,809 Documents (Results 1–100)

100
MathJax

Cyclic hypersequent calculi for some modal logics with the master modality. (English) Zbl 07532526

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, 354-370 (2021).
MSC:  68V15
PDF BibTeX XML Cite
Full Text: DOI

Compositional analysis of protocol equivalence in the applied \(\pi \)-calculus using quasi-open bisimilarity. (English) Zbl 07500647

Cerone, Antonio (ed.) et al., Theoretical aspects of computing – ICTAC 2021. 18th international colloquium, virtual event, Nur-Sultan, Kazakhstan, September 8–10, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12819, 235-255 (2021).
MSC:  68Qxx
PDF BibTeX XML Cite
Full Text: DOI

DisCoPy: monoidal categories in Python. (English) Zbl 1477.18002

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, 183-197 (2021).
PDF BibTeX XML Cite
Full Text: arXiv Link

Open diagrams via coend calculus. (English) Zbl 1477.18040

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, 65-78 (2021).
MSC:  18M30
PDF BibTeX XML Cite
Full Text: arXiv Link

Symmetric monoidal categories with attributes. (English) Zbl 1477.18032

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, 33-48 (2021).
MSC:  18M05 18M30 68T40
PDF BibTeX XML Cite
Full Text: arXiv Link

Explicit identifiers and contexts in reversible concurrent calculus. (English) Zbl 1476.68093

Yamashita, Shigeru (ed.) et al., Reversible computation. 13th international conference, RC 2021, virtual event, July 7–8, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12805, 144-162 (2021).
MSC:  68Q09 68Q85
PDF BibTeX XML Cite
Full Text: DOI arXiv

Session coalgebras: a coalgebraic view on session types and communication protocols. (English) Zbl 1473.68114

Yoshida, Nobuko (ed.), Programming languages and systems. 30th European symposium on programming, ESOP 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12648, 375-403 (2021).
MSC:  68Q85 68Q65
PDF BibTeX XML Cite
Full Text: DOI arXiv

Types for complexity of parallel computation in pi-calculus. (English) Zbl 1473.68111

Yoshida, Nobuko (ed.), Programming languages and systems. 30th European symposium on programming, ESOP 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12648, 59-86 (2021).
MSC:  68Q85 68Q25 68Q55
PDF BibTeX XML Cite
Full Text: DOI

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. Electron. Notes Theor. Comput. Sci. 351, 95-113 (2020).
MSC:  03B70 68Q55 68T27
PDF BibTeX XML Cite
Full Text: DOI arXiv

Mackey 2-functors and Mackey 2-motives. (English) Zbl 1464.18021

EMS Monographs in Mathematics. Zürich: European Mathematical Society (EMS) (ISBN 978-3-03719-209-2/hbk; 978-3-03719-709-7/ebook). viii, 227 p. (2020).
PDF BibTeX XML Cite
Full Text: DOI arXiv

On deriving nested calculi for intuitionistic logics from semantic systems. (English) Zbl 1485.03021

Artemov, Sergei (ed.) et al., Logical foundations of computer science. International symposium, LFCS 2020, Deerfield Beach, FL, USA, January 04–07, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11972, 177-194 (2020).
MSC:  03B20 03F03 03F05
PDF BibTeX XML Cite
Full Text: DOI arXiv

Uniform labelled calculi for conditional and counterfactual logics. (English) Zbl 07176930

Iemhoff, Rosalie (ed.) et al., Logic, language, information, and computation. 26th international workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2–5, 2019. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 11541, 248-263 (2019).
MSC:  03B70
PDF BibTeX XML Cite
Full Text: DOI HAL

Non normal logics: semantic analysis and proof theory. (English) Zbl 07176921

Iemhoff, Rosalie (ed.) et al., Logic, language, information, and computation. 26th international workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2–5, 2019. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 11541, 99-118 (2019).
MSC:  03B70
PDF BibTeX XML Cite
Full Text: DOI arXiv

Cut-free calculi and relational semantics for temporal STIT logics. (English) Zbl 07169146

Calimeri, Francesco (ed.) et al., Logics in artificial intelligence. 16th European conference, JELIA 2019, Rende, Italy, May 7–11, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11468, 803-819 (2019).
MSC:  68T27
PDF BibTeX XML Cite
Full Text: DOI arXiv

Logics for rough concept analysis. (English) Zbl 07150816

Khan, Md. Aquil (ed.) et al., Logic and its applications. 8th Indian conference, ICLA 2019, Delhi, India, March 1–5, 2019. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 11600, 144-159 (2019).
MSC:  03Bxx 68T27
PDF BibTeX XML Cite
Full Text: DOI arXiv

Proper multi-type display calculi for rough algebras. (English) Zbl 1434.03147

Accattoli, Beniamino (ed.) et al., Proceedings of the 13th workshop on logical and semantic frameworks with applications, LSFA 18, Fortaleza, Brazil, September 26–28, 2018. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 344, 101-118 (2019).
PDF BibTeX XML Cite
Full Text: DOI arXiv

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

Software