×

Found 22 Documents (Results 1–22)

Non-wellfounded proof theory for (Kleene+action)(algebras+lattices). (English) Zbl 1528.03234

Ghica, Dan R. (ed.) et al., 27th EACSL annual conference on computer science logic, CSL 2018, Birmingham, United Kingdom, September 4–8, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 119, Article 19, 18 p. (2018).
MSC:  03F05 03G25 68Q45
PDFBibTeX XMLCite
Full Text: DOI

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

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:  68Q45 68Q70 68Q85
PDFBibTeX XMLCite
Full Text: DOI

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).
PDFBibTeX XMLCite
Full Text: DOI

Equational properties of fixed point operations in Cartesian categories: an overview. (English) Zbl 1423.68270

Italiano, F. (ed.) et al., Mathematical foundations of computer science 2015. 40th international symposium, MFCS 2015, Milan, Italy, August 24–28, 2015. Proceedings. Part I. Berlin: Springer. Lect. Notes Comput. Sci. 9234, 18-37 (2015).
MSC:  68Q55 18B20 18C10 18D10 68Q70
PDFBibTeX XMLCite
Full Text: DOI

On completeness of omega-regular algebras. (English) Zbl 1335.68158

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, 179-194 (2012).
MSC:  68Q70
PDFBibTeX XMLCite
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
PDFBibTeX XMLCite
Full Text: DOI

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
PDFBibTeX XMLCite
Full Text: DOI

Iteration semirings. (English) Zbl 1161.68598

Ito, Masami (ed.) et al., Developments in language theory. 12th international conference, DLT 2008, Kyoto, Japan, September 16–19, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-85779-2/pbk). Lecture Notes in Computer Science 5257, 1-20 (2008).
MSC:  68Q70 16Y60
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field