×

Found 248 Documents (Results 1–100)

100
MathJax

Equational theories for automata. (English) Zbl 07469518

Pin, Jean-Éric (ed.), Handbook of automata theory. Volume I. Theoretical foundations. Berlin: European Mathematical Society (EMS). 729-764 (2021).
MSC:  68-XX
PDF BibTeX XML Cite
Full Text: DOI

Categorical semantics of a simple differential programming language. (English) Zbl 1477.68262

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

Nondeterministic syntactic complexity. (English) Zbl 07410438

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, 448-468 (2021).
MSC:  68Nxx 68Qxx
PDF BibTeX XML Cite
Full Text: DOI arXiv

A denotational semantics for low-level probabilistic programs with nondeterminism. (English) Zbl 07515966

König, Barbara (ed.), Proceedings of the 35th conference on the mathematical foundations of programming semantics, MFPS XXXV, London, UK, June 4–7, 2019. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 347, 303-324 (2019).
MSC:  68N30 68Q55
PDF BibTeX XML Cite
Full Text: DOI

Completeness for identity-free Kleene lattices. (English) Zbl 07378562

Schewe, Sven (ed.) et al., 29th international conference on concurrency theory. CONCUR 2018, Beijing, China, September 4–7, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 118, Article 18, 17 p. (2018).
MSC:  68Q85
PDF BibTeX XML Cite
Full Text: DOI

On Hadamard series and rotating \(\mathbb{Q}\)-automata. (English) Zbl 07378323

Potapov, Igor (ed.) et al., 43rd international symposium on mathematical foundations of computer science. MFCS 2018, Liverpool, United Kingdom, August 27–31, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 117, Article 6, 14 p. (2018).
MSC:  68Qxx
PDF BibTeX XML Cite
Full Text: DOI

A family of graded epistemic logics. (English) Zbl 1433.68416

Alves, Sandra (ed.) et al., Selected papers of the 12th workshop on logical and semantic frameworks, with applications (LSFA 2017), Brasilia, Brazil, September 23–24, 2017. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 338, 45-59 (2018).
MSC:  68T27 03B42 68T30
PDF BibTeX XML Cite
Full Text: DOI

The triple-pair construction for weighted \(\omega\)-pushdown automata. (English) Zbl 1483.68163

Csuhaj-Varjú, Erzsébet (ed.) et al., Proceedings of the 15th international conference on automata and formal languages, AFL’17, Debrecen, Hungary, September 4–6, 2017. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 252, 101-113 (2017).
MSC:  68Q45 16Y60 68Q70
PDF BibTeX XML Cite
Full Text: arXiv Link

On decidability of concurrent Kleene algebra. (English) Zbl 1442.68128

Meyer, Roland (ed.) et al., 28th international conference on concurrency theory. CONCUR 2017, Berlin, Germany, September 5–8, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 85, Article 28, 15 p. (2017).
PDF BibTeX XML Cite
Full Text: DOI

Reversible Kleene lattices. (English) Zbl 1441.68137

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 66, 14 p. (2017).
MSC:  68Q70 68Q85
PDF BibTeX XML Cite
Full Text: DOI

Stone relation algebras. (English) Zbl 1402.03099

Höfner, Peter (ed.) et al., Relational and algebraic methods in computer science. 16th international conference, RAMiCS 2017, Lyon, France, May 15–18, 2017. Proceedings. Cham: Springer (ISBN 978-3-319-57417-2/pbk; 978-3-319-57418-9/ebook). Lecture Notes in Computer Science 10226, 127-143 (2017).
MSC:  03G15 03B35 68T15
PDF BibTeX XML Cite
Full Text: DOI

Non-associative Kleene algebra and temporal logics. (English) Zbl 06750817

Höfner, Peter (ed.) et al., Relational and algebraic methods in computer science. 16th international conference, RAMiCS 2017, Lyon, France, May 15–18, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10226, 93-108 (2017).
MSC:  68Q55 03B44
PDF BibTeX XML Cite
Full Text: DOI Link

A discrete geometric model of concurrent program execution. (English) Zbl 1483.68086

Bowen, Jonathan P. (ed.) et al., Unifying theories of programming. 6th international symposium, UTP 2016, Reykjavik, Iceland, June 4–5, 2016. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 10134, 1-25 (2017).
MSC:  68N30 68N19 68Q85
PDF BibTeX XML Cite
Full Text: DOI Link

Relation-algebraic verification of Prim’s minimum spanning tree algorithm. (English) Zbl 1400.68155

Sampaio, Augusto (ed.) et al., Theoretical aspects of computing – ICTAC 2016. 13th international colloquium, Taipei, Taiwan, ROC, October 24–31, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-46749-8/pbk; 978-3-319-46750-4/ebook). Lecture Notes in Computer Science 9965, 51-68 (2016).
MSC:  68R10 05C22 05C85 68T15
PDF BibTeX XML Cite
Full Text: DOI

Varieties and covarieties of languages (extended abstract). (English) Zbl 1334.68139

Kozen, Dexter (ed.) et al., Proceedings of the 29th conference on the mathematical foundations of programming semantics (MFPS XXIX), New Orleans, LA, USA, June 2013. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 298, 7-28 (2013).
MSC:  68Q70
PDF BibTeX XML Cite
Full Text: DOI

Relational representation theorem for powerset quantales. (English) Zbl 1330.06012

Kahl, Wolfram (ed.) et al., Relational and algebraic methods in computer science. 13th international conference, RAMiCS 2012, Cambridge, UK, September 17–20, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-33313-2/pbk). Lecture Notes in Computer Science 7560, 207-218 (2012).
MSC:  06F07
PDF BibTeX XML Cite
Full Text: DOI

Left-handed completeness. (English) Zbl 1364.68268

Kahl, Wolfram (ed.) et al., Relational and algebraic methods in computer science. 13th international conference, RAMiCS 2012, Cambridge, UK, September 17–20, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-33313-2/pbk). Lecture Notes in Computer Science 7560, 162-178 (2012).
MSC:  68Q70
PDF BibTeX XML Cite
Full Text: DOI Link

Automated reasoning in higher-order regular algebra. (English) Zbl 1364.68326

Kahl, Wolfram (ed.) et al., Relational and algebraic methods in computer science. 13th international conference, RAMiCS 2012, Cambridge, UK, September 17–20, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-33313-2/pbk). Lecture Notes in Computer Science 7560, 66-81 (2012).
MSC:  68T15 06A15 06F07 68Q70
PDF BibTeX XML Cite
Full Text: DOI

Unifying lazy and strict computations. (English) Zbl 1330.68074

Kahl, Wolfram (ed.) et al., Relational and algebraic methods in computer science. 13th international conference, RAMiCS 2012, Cambridge, UK, September 17–20, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-33313-2/pbk). Lecture Notes in Computer Science 7560, 17-32 (2012).
MSC:  68Q05 68N30 68Q60 68T15
PDF BibTeX XML Cite
Full Text: DOI

A unifying Kleene theorem for weighted finite automata. (English) Zbl 1318.68121

Calude, Cristian S. (ed.) et al., Rainbow of computer science. Dedicated to Hermann Maurer on the occasion of his 70th birthday. Berlin: Springer (ISBN 978-3-642-19390-3/pbk). Lecture Notes in Computer Science 6570, 76-89 (2011).
MSC:  68Q70 16Y60
PDF BibTeX XML Cite
Full Text: DOI

Uniformizing rational relations for natural language applications using weighted determinization. (English) Zbl 1297.68174

Domaratzki, Michael (ed.) et al., Implementation and application of automata. 15th international conference, CIAA 2010, Winnipeg, MB, Canada, August 12–15, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-18097-2/pbk). Lecture Notes in Computer Science 6482, 173-180 (2011).
MSC:  68Q70 68Q45 68T50
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Document Type

Reviewing State

all top 5

Author

all top 5

Year of Publication

all top 3

Classification

Biographic Reference