×

Found 243 Documents (Results 1–100)

100
MathJax

On models of higher-order separation logic. (English) Zbl 07513455

Silva, Alexandra (ed.), Proceedings of the 33rd conference on the mathematical foundations of programming semantics (MFPS XXXIII), Ljubljana, Slovenia, June 12–15, 2017. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 336, 57-78 (2018).
MSC:  68N30 68Q55
PDF BibTeX XML Cite
Full Text: DOI

Internal universes in models of homotopy type theory. (English) Zbl 1462.03010

Kirchner, Hélène (ed.), 3rd international conference on formal structures for computation and deduction, FSCD 2018, July 9–12, 2018, Oxford, United Kingdom. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 108, Article 22, 17 p. (2018).
MSC:  03B38 55U35
PDF BibTeX XML Cite
Full Text: DOI arXiv

Lifting coalgebra modalities and IMELL model structure to Eilenberg-Moore categories. (English) Zbl 1469.03167

Kirchner, Hélène (ed.), 3rd international conference on formal structures for computation and deduction, FSCD 2018, July 9–12, 2018, Oxford, United Kingdom. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 108, Article 21, 20 p. (2018).
MSC:  03F52 03G30 18C20
PDF BibTeX XML Cite
Full Text: DOI

One modal logic to rule them all? (English) Zbl 1418.03087

Bezhanishvili, Guram (ed.) et al., Advances in modal logic. Vol. 12. Proceedings of the 12th conference (AiML 2018), Bern, Switzerland, August 27–31, 2018. London: College Publications. 367-386 (2018).
MSC:  03B45
PDF BibTeX XML Cite

There is only one notion of differentiation. (English) Zbl 1434.18005

Miller, Dale (ed.), 2nd international conference on formal structures for computation and deduction. FSCD 2017, Oxford, UK, September 3–9, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 84, Article 13, 21 p. (2017).
PDF BibTeX XML Cite
Full Text: DOI

Fundamental mathematics and physics of medical imaging. (English) Zbl 1357.92003

Series in Medical Physics and Biomedical Engineering. Boca Raton, FL: CRC Press (ISBN 978-1-4987-5161-2/hbk; 978-1-315-36821-4/ebook). xxiii, 318 p. (2017).
PDF BibTeX XML Cite

It ain’t necessarily so: basic sequent systems for negative modalities. (English) Zbl 1400.03047

Beklemishev, Lev (ed.) et al., Advances in modal logic. Vol. 11. Proceedings of the 11th conference (AiML 2016), Budapest, Hungary, August 30 – September 2, 2016. London: College Publications (ISBN 978-1-84890-201-5/pbk). 449-468 (2016).
MSC:  03B45 03F05
PDF BibTeX XML Cite
Full Text: arXiv

Probabilistic \(\mu\)-calculus: decidability and complete axiomatization. (English) Zbl 1434.03072

Lal, Akash (ed.) et al., 36th IARCS annual conference on foundations of software technology and theoretical computer science (FSTTCS 2016), Chennai, India, December 13–15, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 65, Article 25, 18 p. (2016).
PDF BibTeX XML Cite
Full Text: DOI

On Lambek’s restriction in the presence of exponential modalities. (English) Zbl 1476.03026

Artemov, Sergei (ed.) et al., Logical foundations of computer science. International symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4–7, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9537, 146-158 (2016).
MSC:  03B47 03F52
PDF BibTeX XML Cite
Full Text: DOI

Constraint solving for verifying modal specifications of workflow nets with data. (English) Zbl 1461.68111

Mazzara, Manuel (ed.) et al., Perspectives of system informatics. 10th international Andrei Ershov informatics conference, PSI 2015, in memory of Helmut Veith, Kazan and Innopolis, Russia, August 24–27, 2015. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 9609, 75-90 (2016).
MSC:  68Q60 68Q85 90B70
PDF BibTeX XML Cite
Full Text: DOI

A theory of effects and resources: adjunction models and polarised calculi. (English) Zbl 1347.68078

Bodik, Rastislav (ed.) et al., Proceedings of the 43rd annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’16, St. Petersburg, FL, USA, January 20–22, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3549-2). 44-56 (2016).
PDF BibTeX XML Cite
Full Text: DOI HAL

Verification of spatial and temporal modalities in biochemical systems. (English) Zbl 1351.68157

Pauleve, Loic (ed.) et al., Post-proceedings of the 5th international workshop on static analysis and systems biology (SASB 2014), Munich, Germany, September 10, 2014. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 316, 29-44 (2015).
MSC:  68Q60 03B70 68Q05 92C40
PDF BibTeX XML Cite
Full Text: DOI

On graph calculi for multi-modal logics. (English) Zbl 1343.03016

Ayala-Rincón, Mauricio (ed.) et al., Proceedings of the 9th workshop on logical and semantic frameworks, with applications (LSFA 2014), Brasilia, Brazil, September 8–9, 2014. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 312, 231-252, electronic only (2015).
MSC:  03B45
PDF BibTeX XML Cite
Full Text: DOI

On a graph approach to modal logics. (English) Zbl 1335.03022

Fernández, Maribel (ed.) et al., Proceedings of the 8th workshop on logical and semantic frameworks (LSFA 2013), São Paulo, Brazil, September 2–3, 2013. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 305, 123-139, electronic only (2014).
MSC:  03B45
PDF BibTeX XML Cite
Full Text: DOI

Algebra, proof theory and applications for a logic of propositions, actions and adjoint modal operators. (English) Zbl 1342.68311

Berger, Ulrich (ed.) et al., Proceedings of the 28th conference on the mathematical foundations of programming semantics (MFPS XXVIII), Bath, UK, June 6–9, 2012. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 286, 157-172 (2012).
MSC:  68T27 03B42
PDF BibTeX XML Cite
Full Text: DOI

Bridges from language to logic: concepts, contexts and ontologies. (English) Zbl 1347.03058

Haeusler, Edward Hermann (ed.) et al., Proceedings of the 5th workshop on logical and semantic frameworks, with applications (LSFA 2010), Natal, Brazil, August 31, 2010. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 269, 83-94 (2011).
MSC:  03B65 68T30
PDF BibTeX XML Cite
Full Text: DOI

Marking time. (English) Zbl 1268.03019

Chakraborty, Mihir K. (ed.) et al., Logic, Navya-Nyāya and applications. Homage to Bimal Krishna Matilal. Selected papers from the international conference on logic, Navya-Nyāya and applications, Kolkata, India, January 3–7, 2007. London: College Publications (ISBN 978-1-904987-44-4/pbk). Studies in Logic (London) 15, 185-203 (2008).
MSC:  03B44
PDF BibTeX XML Cite

A logical analysis of aliasing in imperative higher-order functions. (English) Zbl 1302.68182

Proceedings of the 10th ACM SIGPLAN international conference on functional programming, ICFP ’05, Tallinn, Estonia, September 26–28, 2005. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-59593-064-7). ACM SIGPLAN Notices 40, No. 9, 280-293 (2005).
MSC:  68Q60 03B70 68N18
PDF BibTeX XML Cite
Full Text: DOI Link

Axioms for logics of knowledge and past time: synchrony and unique initial states. (English) Zbl 1102.03015

Schmidt, Renate (ed.) et al., Advances in modal logic. Vol. 5. Selected papers from the 5th conference (AiML 2004), Manchester, UK, September 9–11, 2004. London: King’s College Publications (ISBN 1-904987-22-2/pbk). 53-72 (2005).
MSC:  03B45 03B42 03B44
PDF BibTeX XML Cite

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