×

Found 21 Documents (Results 1–21)

The Cayley-graph of the queue monoid: logic and decidability. (English) Zbl 1528.68089

Ganguly, Sumit (ed.) et al., 38th IARCS annual conference on foundations of software technology and theoretical computer science, FSTTCS 2018, Ahmedabad, India, December 11–13, 2018. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 122, Article 9, 17 p. (2018).
PDFBibTeX XMLCite
Full Text: DOI

The influence of Arthur Cayley and Alfred Kempe on Charles Peirce’s diagrammatic logic. (English) Zbl 1343.01015

Zack, Maria (ed.) et al., Research in history and philosophy of mathematics. The CSHPM 2014 annual meeting. Selected papers based on the presentations at the annual meeting of the Canadian Society for History and Philosophy of Mathematics, St. Catharines, Canada, May 2014. Cham: Birkhäuser/Springer (ISBN 978-3-319-22257-8/hbk; 978-3-319-22258-5/ebook). Proceedings of the Canadian Society for History and Philosophy of Mathematics/La Société Canadienne d’Histoire et de Philosophie des Mathématiques, 139-148 (2015).
PDFBibTeX XMLCite
Full Text: DOI

Decidability and complexity in automatic monoids. (English) Zbl 1117.20314

Calude, Cristian S. (ed.) et al., Developments in language theory. 8th international conference, DLT 2004, Auckland, New Zealand, December 13–17, 2004. Proceedings. Berlin: Springer (ISBN 3-540-24014-4/pbk). Lecture Notes in Computer Science 3340, 308-320 (2004).
PDFBibTeX XMLCite
Full Text: DOI

Decidable theories of Cayley-graphs. (English) Zbl 1036.03009

Alt, Helmut (ed.) et al., STACS 2003. 20th annual symposium of theoretical aspects on computer science, Berlin, Germany, February 27 – March 1, 2003. Proceedings. Berlin: Springer (ISBN 3-540-00623-0/pbk). Lect. Notes Comput. Sci. 2607, 463-474 (2003).
MSC:  03B25 05C25 20F10
PDFBibTeX XMLCite
Full Text: Link

A language theoretic analysis of combings. (English) Zbl 0976.20024

Gilman, Robert H. (ed.), Groups, languages and geometry. 1998 AMS-IMS-SIAM joint summer research conference on geometric group theory and computer science, South Hadley, MA, USA, July 5-9, 1998. Providence, RI: American Mathematical Society. Contemp. Math. 250, 117-136 (1999).
PDFBibTeX XMLCite
Full Text: arXiv

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field