×

Found 36 Documents (Results 1–36)

The Došen square under construction: a tale of four modalities. (English) Zbl 07532531

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, 446-465 (2021).
MSC:  68V15
PDFBibTeX XMLCite
Full Text: DOI

Identities of the Kauffman monoid \(\mathcal{K}_4\) and of the Jones monoid \(\mathcal{J}_4\). (English) Zbl 07614725

Blass, Andreas (ed.) et al., Fields of logic and computation III. Essays dedicated to Yuri Gurevich on the occasion of his 80th birthday. Cham: Springer. Lect. Notes Comput. Sci. 12180, 156-178 (2020).
MSC:  03B70 68Qxx
PDFBibTeX XMLCite
Full Text: DOI arXiv

The algebra of partial equivalence relations. (English) Zbl 1395.68190

Birkedal, Lars (ed.), Proceedings of the 32nd conference on the mathematical foundations of programming semantics (MFPS XXXII), Carnegie Mellon University, Pittsburgh, PA, USA, May 23–26, 2016. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 325, 313-333 (2016).
MSC:  68Q65 18D10
PDFBibTeX XMLCite
Full Text: DOI

Knowledge means ‘all’, belief means ‘most’. (English) Zbl 1361.68216

Fariñas del Cerro, Luis (ed.) et al., Logics in artificial intelligence. 13th European conference, JELIA 2012, Toulouse, France, September 26–28, 2012. Proceeding. Berlin: Springer (ISBN 978-3-642-33352-1/pbk). Lecture Notes in Computer Science 7519. Lecture Notes in Artificial Intelligence, 41-53 (2012).
MSC:  68T27 03B42
PDFBibTeX XMLCite
Full Text: DOI

On the word problem for \({\Sigma\Pi}\)-categories, and the properties of two-way communication (extended abstract). (English) Zbl 1257.03070

Grädel, Erich (ed.) et al., Computer science logic. 23rd international workshop, CSL 2009, 18th annual conference of the EACSL, Coimbra, Portugal, September 7–11, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-04026-9/pbk). Lecture Notes in Computer Science 5771, 194-208 (2009).
PDFBibTeX XMLCite
Full Text: DOI

Well-founded and partial stable semantics logical aspects. (English) Zbl 1248.68128

Frid, Anna (ed.) et al., Computer science – theory and applications. Fourth international computer science symposium in Russia, CSR 2009, Novosibirsk, Russia, August 18–23, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-03350-6/pbk). Lecture Notes in Computer Science 5675, 1-11 (2009).
MSC:  68N17 03B70 68Q55
PDFBibTeX XMLCite
Full Text: DOI

Optional and iterated types for pregroup grammars. (English) Zbl 1156.03323

Martín-Vide, Carlos (ed.) et al., Language and automata theory and applications. Second international conference, LATA 2008, Tarragona, Spain, March 13–19, 2008. Revised papers. Berlin: Springer (ISBN 978-3-540-88281-7/pbk). Lecture Notes in Computer Science 5196, 88-100 (2008).
MSC:  03B65 68Q42
PDFBibTeX XMLCite
Full Text: DOI

Proof-theoretic notions for software maintenance. (English) Zbl 1264.68059

Seda, Anthony (ed.) et al., MFCSIT2000. Proceedings of the first Irish conference on the mathematical foundations of computer science and information technology, National University of Ireland, Cork, Ireland, July 20–21, 2000. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 40, 206-219 (2001).
MSC:  68N30
PDFBibTeX XMLCite
Full Text: DOI

Structuring metatheory on inductive definitions. (English) Zbl 1412.68205

McRobbie, M. A. (ed.) et al., Automated deduction – CADE-13. 13th international conference on automated deduction, New Brunswick, NJ, USA, July/August 1996. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1104, 171-185 (1996).
MSC:  68T15 03B35 03B45
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software