×

Found 111 Documents (Results 1–100)

Graphical piecewise-linear algebra. (English) Zbl 07793025

Bouyer, Patricia (ed.) et al., Foundations of software science and computation structures. 25th international conference, FOSSACS 2022, held as part of the European joint conferences on theory and practice of software, ETAPS 2022, Munich, Germany, April 2–7, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13242, 101-119 (2022).
MSC:  68Nxx 68Qxx
PDFBibTeX XMLCite
Full Text: DOI arXiv

A string diagrammatic axiomatisation of finite-state automata. (English) Zbl 07410439

Kiefer, Stefan (ed.) et al., Foundations of software science and computation structures. 24th international conference, FOSSACS 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. 12650, 469-489 (2021).
MSC:  68Nxx 68Qxx
PDFBibTeX XMLCite
Full Text: DOI arXiv

Dedekind on continuity. (English) Zbl 1464.01010

Shapiro, Stewart (ed.) et al., The history of continua. Philosophical and mathematical perspectives. Oxford: Oxford University Press. 255-282 (2021).
PDFBibTeX XMLCite
Full Text: DOI

A complete axiomatisation of a fragment of language algebra. (English) Zbl 07650824

Fernández, Maribel (ed.) et al., 28th EACSL annual conference on computer science logic, CSL 2020, Barcelona, Spain, January 13–16, 2020. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 152, Article 11, 15 p. (2020).
MSC:  68-XX 03B70
PDFBibTeX XMLCite
Full Text: DOI arXiv

On the axiomatisation of common knowledge. (English) Zbl 07585720

Olivetti, Nicola (ed.) et al., Advances in modal logic. Vol. 13. Proceedings of the 13th conference (AiML 2020), Helsinki, Finland, virtual conference, August 24–28, 2020. London: College Publications. 309-328 (2020).
MSC:  03B45
PDFBibTeX XMLCite

The modal logic of almost sure frame validities in the finite. (English) Zbl 07585717

Olivetti, Nicola (ed.) et al., Advances in modal logic. Vol. 13. Proceedings of the 13th conference (AiML 2020), Helsinki, Finland, virtual conference, August 24–28, 2020. London: College Publications. 249-268 (2020).
MSC:  03B45
PDFBibTeX XMLCite

Canonical solutions to recursive equations and completeness of equational axiomatisations. (English) Zbl 07559491

Konnov, Igor (ed.) et al., 31st international conference on concurrency theory. CONCUR 2020, September 1–4, 2020, Vienna, Austria, virtual conference. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 171, Article 35, 17 p. (2020).
MSC:  68Q85
PDFBibTeX XMLCite
Full Text: DOI

Partially observable concurrent Kleene algebra. (English) Zbl 07559476

Konnov, Igor (ed.) et al., 31st international conference on concurrency theory. CONCUR 2020, September 1–4, 2020, Vienna, Austria, virtual conference. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 171, Article 20, 22 p. (2020).
MSC:  68Q85
PDFBibTeX XMLCite
Full Text: DOI arXiv

On the axiomatisability of parallel composition: a journey in the spectrum. (English) Zbl 07559474

Konnov, Igor (ed.) et al., 31st international conference on concurrency theory. CONCUR 2020, September 1–4, 2020, Vienna, Austria, virtual conference. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 171, Article 18, 22 p. (2020).
MSC:  68Q85
PDFBibTeX XMLCite
Full Text: DOI

Kleene algebra with observations. (English) Zbl 07649949

Fokkink, Wan (ed.) et al., 30th international conference on concurrency theory, CONCUR 2019, Amsterdam, the Netherlands, August 27–30, 2019. Proceedings. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 140, Article 41, 16 p. (2019).
MSC:  68Q85
PDFBibTeX XMLCite
Full Text: DOI arXiv

Sequencing and intermediate acceptance: axiomatisation and decidability of bisimilarity. (English) Zbl 07649894

Roggenbach, Markus (ed.) et al., 8th conference on algebra and coalgebra in computer science, CALCO 2019, London, United Kingdom, June 3–6, 2019. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 139, Article 11, 22 p. (2019).
MSC:  68Qxx
PDFBibTeX XMLCite
Full Text: DOI

Riesz modal logic with threshold operators. (English) Zbl 1453.03017

Proceedings of the 2018 33rd annual ACM/IEEE symposium on logic in computer science, LICS 2018, Oxford, UK, July 9–12, 2018. New York, NY: Association for Computing Machinery (ACM). 710-719 (2018).
MSC:  03B45 03B48
PDFBibTeX XMLCite
Full Text: DOI

When names are not commonly known: epistemic logic with assignments. (English) Zbl 1418.03060

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. 611-628 (2018).
MSC:  03B42
PDFBibTeX XMLCite
Full Text: arXiv

Left-handed completeness for Kleene algebra, via cyclic proofs. (English) Zbl 1415.68124

Barthe, Gilles (ed.) et al., LPAR-22. 22nd international conference on logic for programming, artificial intelligence and reasoning, Awassa, Ethiopia, November 17–21, 2018. Selected papers. Manchester: EasyChair. EPiC Ser. Comput. 57, 271-289 (2018).
MSC:  68Q45 03B70
PDFBibTeX XMLCite
Full Text: DOI

\(K_4\)-free graphs as a free algebra. (English) Zbl 1445.05099

Larsen, Kim G. (ed.) et al., 42nd international symposium on mathematical foundations of computer science, MFCS 2017, August 21–25, 2017, Aalborg, Denmark. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 83, Article 76, 14 p. (2017).
PDFBibTeX XMLCite
Full Text: DOI

Dedekind and Noether: Steht es alles wirklich schon bei Dedekind? Ideals and factorization between Dedekind and Noether. (English) Zbl 1390.01013

Scheel, Katrin (ed.) et al., In memoriam Richard Dedekind (1831–1916). Number theory – algebra – set theory – history – philosophy. Proceedings of the conference, TU Braunschweig, Germany, October 6–8, 2016. Münster: WTM-Verlag (ISBN 978-3-95987-043-6/pbk). Schriften zur Geschichte der Mathematik und ihrer Didaktik 3, 134-159 (2017).
MSC:  01A55 01A60 13-03
PDFBibTeX XMLCite

Finite frames for \(\mathrm{K4.3} \times \mathrm{S5}\) are decidable. (English) Zbl 1291.03037

Bolander, Thomas (ed.) et al., Advances in modal logic. Vol. 9. Proceedings of the 9th conference (AiML 2012), Copenhagen, Denmark, August 22–25, 2012. London: College Publications (ISBN 978-1-84890-068-4/pbk). 411-436 (2012).
MSC:  03B45 03B25
PDFBibTeX XMLCite

Giuseppe Peano and mathematical analysis in Italy. (English) Zbl 1222.01054

Skof, Fulvia (ed.), Giuseppe Peano between mathematics and logic. Proceedings of the international conference in honour of Giuseppe Peano on the occasion of the 150th anniversary of his birth and the centennial of the Formulario Mathematico, Turin, Italy, October 2–3, 2008. Milan: Springer (ISBN 978-88-470-1835-8/pbk; 978-88-470-1836-5/ebook). 1-12 (2011).
PDFBibTeX XMLCite

On the complexity of modal axiomatisations over many-dimensional structures. (English) Zbl 1254.03037

Beklemishev, Lev (ed.) et al., Advances in modal logic. Vol. 8. Proceedings of the 8th conference (AiML 2010), Moscow, Russia, August 24–27, 2010. London: College Publications (ISBN 978-1-84890-013-4). 256-270 (2010).
MSC:  03B45 03G15
PDFBibTeX XMLCite

Automating soundness proofs. (English) Zbl 1339.68160

Hennessy, Matthew (ed.) et al., Proceedings of the 5th workshop on structural operational semantics (SOS 2008), Reykjavik, Iceland, July 6, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 229, No. 4, 107-118 (2009).
MSC:  68Q55 68N30 68T15
PDFBibTeX XMLCite
Full Text: DOI

Spoilt for choice: full first-order hierarchical decompositions. (English) Zbl 1246.68110

Ono, Hiroakira (ed.) et al., Logic, language, information and computation. 16th international workshop, WoLLIC 2009, Tokyo, Japan, June 21–24, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02260-9/pbk). Lecture Notes in Computer Science 5514. Lecture Notes in Artificial Intelligence, 256-267 (2009).
MSC:  68P15 03B70
PDFBibTeX XMLCite
Full Text: DOI

Probabilistic barbed congruence. (English) Zbl 1279.68255

Aldini, Alessandro (ed.) et al., Proceedings of the fifth workshop on quantitative aspects of programming languages (QAPL 2007), Braga, Portugal, March 24–25, 2007. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 190, No. 3, 185-203 (2007).
MSC:  68Q85 68Q87
PDFBibTeX XMLCite
Full Text: DOI

Lattice-based modal algebras and modal logics. (English) Zbl 1105.03070

Hájek, Petr (ed.) et al., Logic, methodology and philosophy of science. Proceedings of the 12th international congress, Oviedo, Spain, August 2003. London: King’s College Publications (ISBN 1-904987-21-4/pbk). 147-170 (2005).
MSC:  03G25 03B45
PDFBibTeX XMLCite

A systematic proof theory for several modal logics. (English) Zbl 1107.03016

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). 309-333 (2005).
MSC:  03B45 03F05
PDFBibTeX XMLCite

The non-associative Lambek calculus with product in polynomial time. (English) Zbl 0933.03017

Murray, Neil V. (ed.), Automated reasoning with analytic tableaux and related methods. International conference, TABLEAUX ‘99, Saratoga Springs, NY, USA, June 7–11, 1999. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1617, 128-139 (1999).
PDFBibTeX XMLCite

An axiomatisation of duplication equivalence in the Petri box calculus. (English) Zbl 1510.68060

Desel, Jörg (ed.) et al., Application and theory of Petri nets 1998. 19th international conference, ICATPN’98, Lisbon, Portugal, June 22–26, 1998. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1420, 165-184 (1998).
MSC:  68Q85
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Author

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software