×

Found 65 Documents (Results 1–65)

Corecursion up-to via causal transformations. (English) Zbl 07628070

Hansen, Helle Hvid (ed.) et al., Coalgebraic methods in computer science. 16th IFIP WG 1.3 international workshop, CMCS 2022, colocated with ETAPS 2022, Munich, Germany, April 2–3, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13225, 133-154 (2022).
MSC:  68Q65
PDFBibTeX XMLCite
Full Text: DOI

On tools for completeness of Kleene algebra with hypotheses. (English) Zbl 07670530

Fahrenberg, Uli (ed.) et al., Relational and algebraic methods in computer science. 19th international conference, RAMiCS 2021, Marseille, France, November 2–5, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13027, 378-395 (2021).
MSC:  68Qxx
PDFBibTeX XMLCite
Full Text: DOI arXiv

Non axiomatisability of positive relation algebras with constants, via graph homomorphisms. (English) Zbl 07559485

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 29, 16 p. (2020).
MSC:  68Q85
PDFBibTeX XMLCite
Full Text: DOI

Cyclic proofs and jumping automata. (English) Zbl 07650342

Chattopadhyay, Arkadev (ed.) et al., 39th IARCS annual conference on foundations of software technology and theoretical computer science, FSTTCS 2019, Bombay, India, December 11–13, 2019. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 150, Article 45, 14 p. (2019).
MSC:  68N30 68Qxx
PDFBibTeX XMLCite
Full Text: DOI

A certificate-based approach to formally verified approximations. (English) Zbl 07649957

Harrison, John (ed.) et al., 10th international conference on interactive theorem proving, ITP 2019, September 9–12, 2019, Portland, OR, USA. Proceedings. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 141, Article 8, 19 p. (2019).
MSC:  68V15
PDFBibTeX XMLCite
Full Text: DOI

Coinduction: automata, formal proof, companions (invited paper). (English) Zbl 07649887

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 4, 4 p. (2019).
MSC:  68Qxx
PDFBibTeX XMLCite
Full Text: DOI

Kleene algebra with hypotheses. (English) Zbl 1524.68201

Bojańczyk, Mikołaj (ed.) et al., Foundations of software science and computation structures. 22nd international conference, FOSSACS 2019, held as part of the European joint conferences on theory and practice of software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11425, 207-223 (2019).
PDFBibTeX XMLCite
Full Text: DOI

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

Treewidth-two graphs as a free algebra. (English) Zbl 1512.08002

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 60, 15 p. (2018).
MSC:  08A70 05C25 68Q42
PDFBibTeX XMLCite
Full Text: DOI

Allegories: decidability and graph homomorphisms. (English) Zbl 1453.18002

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). 829-838 (2018).
MSC:  18A10 03B25 05C25
PDFBibTeX XMLCite
Full Text: DOI

On the positive calculus of relations with transitive closure. (English) Zbl 1487.03077

Niedermeier, Rolf (ed.) et al., 35th symposium on theoretical aspects of computer science, STACS 2018, Caen, France, February 28 – March 3, 2018. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 96, Article 3, 16 p. (2018).
MSC:  03G15 68Q70
PDFBibTeX XMLCite
Full Text: DOI

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

A formal proof of the minor-exclusion property for treewidth-two graphs. (English) Zbl 1468.68319

Avigad, Jeremy (ed.) et al., Interactive theorem proving. 9th international conference, ITP 2018, held as part of the federated logic conference, FloC 2018, Oxford, UK, July 9–12, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10895, 178-195 (2018).
PDFBibTeX XMLCite
Full Text: DOI HAL

Fully abstract encodings of \(\lambda \)-calculus in HOcore through abstract machines. (English) Zbl 1452.03041

Proceedings of the 2017 32nd annual ACM/IEEE symposium on logic in computer science, LICS 2017, Reykjavík University, Reykjavík, Iceland, June 20–23, 2017. Piscataway, NJ: IEEE Press. Article No. 58, 12 p. (2017).
PDFBibTeX XMLCite
Full Text: 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).
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

Monoidal company for accessible functors. (English) Zbl 1436.18014

Bonchi, Filippo (ed.) et al., 7th conference on algebra and coalgebra in computer science, CALCO 2017, June 14–16, 2017, Ljubljana, Slovenia. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 72, Article 5, 16 p. (2017).
MSC:  18M05 68Q55
PDFBibTeX XMLCite
Full Text: DOI

A cut-free cyclic proof system for Kleene algebra. (English) Zbl 1496.03229

Schmidt, Renate A. (ed.) et al., Automated reasoning with analytic tableaux and related methods. 26th international conference, TABLEAUX 2017, Brasília, Brazil, September 25–28, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10501, 261-277 (2017).
PDFBibTeX XMLCite
Full Text: DOI Link

Companions, codensity and causality. (English) Zbl 1442.68149

Esparza, Javier (ed.) et al., Foundations of software science and computation structures. 20th international conference, FOSSACS 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 10203, 106-123 (2017).
PDFBibTeX XMLCite
Full Text: DOI Link

Relational and algebraic methods in computer science. 16th international conference, RAMiCS 2017, Lyon, France, May 15–18, 2017. Proceedings. (English) Zbl 1361.68009

Lecture Notes in Computer Science 10226. Cham: Springer (ISBN 978-3-319-57417-2/pbk; 978-3-319-57418-9/ebook). xiv, 323 p. (2017).
MSC:  68-06 68Qxx 00B25
PDFBibTeX XMLCite
Full Text: DOI

Coinduction all the way up. (English) Zbl 1394.68352

Proceedings of the 2016 31st annual ACM/IEEE symposium on logic in computer science, LICS 2016, New York City, NY, USA, July 5–8, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4391-6). 307-316 (2016).
MSC:  68T15 03B35 06B23 68N30
PDFBibTeX XMLCite
Full Text: DOI HAL

A formal exploration of nominal Kleene algebra. (English) Zbl 1398.68350

Faliszewski, Piotr (ed.) et al., 41st international symposium on mathematical foundations of computer science, MFCS 2016, Kraków, Poland, August 22–26, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-016-3). LIPIcs – Leibniz International Proceedings in Informatics 58, Article 22, 13 p. (2016).
MSC:  68Q70 03G30 68Q55 68T15
PDFBibTeX XMLCite
Full Text: DOI

Relative Hilbert-Post completeness for exceptions. (English) Zbl 1460.68024

Kotsireas, Ilias S. (ed.) et al., Mathematical aspects of computer and information sciences. 6th international conference, MACIS 2015, Berlin, Germany, November 11–13, 2015. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 9582, 596-610 (2016).
PDFBibTeX XMLCite
Full Text: DOI HAL

Petri automata for Kleene allegories. (English) Zbl 1392.68285

Proceedings of the 2015 30th annual ACM/IEEE symposium on logic in computer science, LICS 2015, Kyoto, Japan, July 6–10, 2015. Los Alamitos, CA: IEEE Computer Society (ISBN 978-1-4799-8875-4). 68-79 (2015).
MSC:  68Q85 68Q45 68Q70
PDFBibTeX XMLCite
Full Text: DOI

Lax bialgebras and up-to techniques for weak bisimulations. (English) Zbl 1371.68187

Aceto, Luca (ed.) et al., 26th international conference on concurrency theory, CONCUR’15, Madrid, Spain, September 1–4, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-91-0). LIPIcs – Leibniz International Proceedings in Informatics 42, 240-253 (2015).
MSC:  68Q85
PDFBibTeX XMLCite
Full Text: DOI

Symbolic algorithms for language equivalence and Kleene algebra with tests. (English) Zbl 1346.68120

Proceedings of the 42nd ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’15, Mumbai, India, January 12–18, 2015. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3300-9). 357-368 (2015).
MSC:  68Q45 68Q60
PDFBibTeX XMLCite
Full Text: DOI arXiv

Coinduction up-to in a fibrational setting. (English) Zbl 1395.68195

Proceedings of the joint meeting of the twenty-third EACSL annual conference on computer science logic, CSL, and the 2014 29th annual ACM/IEEE symposium on logic in computer science, LICS 2014, Vienna, Austria, July 14–18, 2014. Los Alamitos, CA: IEEE Computer Society (ISBN 978-1-4503-2886-9). Paper No. 20, 9 p. (2014).
MSC:  68Q85 03G30 18B20
PDFBibTeX XMLCite
Full Text: DOI arXiv

Bisimulations up-to: beyond first-order transition systems. (English) Zbl 1388.68200

Baldan, Paolo (ed.) et al., CONCUR 2014 – concurrency theory. 25th international conference, CONCUR 2014, Rome, Italy, September 2–5, 2014. Proceedings. Berlin: Springer (ISBN 978-3-662-44583-9/pbk). Lecture Notes in Computer Science 8704, 93-108 (2014).
MSC:  68Q85
PDFBibTeX XMLCite
Full Text: DOI

Kleene algebra with converse. (English) Zbl 1345.68222

Höfner, Peter (ed.) et al., Relational and algebraic methods in computer science. 14th international conference, RAMiCS 2014, Marienstatt, Germany, April 28 – May 1, 2014. Proceedings. Berlin: Springer (ISBN 978-3-319-06250-1/pbk). Lecture Notes in Computer Science 8428, 101-118 (2014).
MSC:  68Q70 03C05 68Q25
PDFBibTeX XMLCite
Full Text: DOI

Brzozowski’s and up-to algorithms for must testing. (English) Zbl 1426.68180

Shan, Chung-chieh (ed.), Programming languages and systems. 11th Asian symposium, APLAS 2013, Melbourne, VIC, Australia, December 9–11, 2013. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8301, 1-16 (2013).
MSC:  68Q85 68Q45
PDFBibTeX XMLCite
Full Text: DOI Link

Checking NFA equivalence with bisimulations up to congruence. (English) Zbl 1301.68169

Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’13, Rome, Italy, January 23–25, 2013. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1832-7). 457-468 (2013).
MSC:  68Q45 68Q85
PDFBibTeX XMLCite
Full Text: DOI HAL

Coalgebraic up-to techniques. (English) Zbl 1394.68215

Heckel, Reiko (ed.) et al., Algebra and coalgebra in computer science. 5th international conference, CALCO 2013, Warsaw, Poland, September 3–6, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-40205-0/pbk). Lecture Notes in Computer Science 8089, 34-35 (2013).
MSC:  68Q45 18B20
PDFBibTeX XMLCite
Full Text: DOI

Kleene algebra with tests and Coq tools for while programs. (English) Zbl 1317.68229

Blazy, Sandrine (ed.) et al., Interactive theorem proving. 4th international conference, ITP 2013, Rennes, France, July 22–26, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-39633-5/pbk). Lecture Notes in Computer Science 7998, 180-196 (2013).
MSC:  68T15 03B70 68N30 68Q60 68Q70
PDFBibTeX XMLCite
Full Text: DOI arXiv

Tactics for reasoning modulo AC in Coq. (English) Zbl 1350.68227

Jouannaud, Jean-Pierre (ed.) et al., Certified programs and proofs. First international conference, CPP 2011, Kenting, Taiwan, December 7–9, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-25378-2/pbk). Lecture Notes in Computer Science 7086, 167-182 (2011).
MSC:  68T15
PDFBibTeX XMLCite
Full Text: DOI arXiv

An efficient Coq tactic for deciding Kleene algebras. (English) Zbl 1291.68330

Kaufmann, Matt (ed.) et al., Interactive theorem proving. First international conference, ITP 2010, Edinburgh, UK, July 11–14, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-14051-8/pbk). Lecture Notes in Computer Science 6172, 163-178 (2010).
MSC:  68T15 68Q70
PDFBibTeX XMLCite
Full Text: DOI

On bisimilarity and substitution in presence of replication. (English) Zbl 1288.68182

Abramsky, Samson (ed.) et al., Automata, languages and programming. 37th international colloquium, ICALP 2010, Bordeaux, France, July 6–10, 2010. Proceedings, Part II. Berlin: Springer (ISBN 978-3-642-14161-4/pbk). Lecture Notes in Computer Science 6199, 454-465 (2010).
MSC:  68Q85
PDFBibTeX XMLCite
Full Text: DOI

Untyping typed algebraic structures and colouring proof nets of cyclic linear logic. (English) Zbl 1287.03107

Dawar, Anuj (ed.) et al., Computer science logic. 24th international workshop, CSL 2010, 19th annual conference of the EACSL, Brno, Czech Republic, August 23–27, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-15204-7/pbk). Lecture Notes in Computer Science 6247, 484-498 (2010).
MSC:  03F52 03G25
PDFBibTeX XMLCite
Full Text: DOI

A distribution law for CCS and a new congruence result for the \(\pi \)-calculus. (English) Zbl 1195.68071

Seidl, Helmut (ed.), Foundations of software science and computational structures. 10th international conference, FOSSACS 2007, held as part of the joint European conferences on theory and practice of software, ETAPS 2007, Braga, Portugal, March 24 – April 1, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-71388-3/pbk). Lecture Notes in Computer Science 4423, 228-242 (2007).
MSC:  68Q85
PDFBibTeX XMLCite
Full Text: DOI HAL

Weak bisimulation up to elaboration. (English) Zbl 1151.68551

Baier, Christel (ed.) et al., CONCUR 2006 – concurrency theory. 17th international conference, CONCUR 2006, Bonn, Germany, August 27–30, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-37376-6/pbk). Lecture Notes in Computer Science 4137, 390-405 (2006).
MSC:  68Q85
PDFBibTeX XMLCite
Full Text: DOI HAL

Up-to techniques for weak bisimulation. (English) Zbl 1084.68085

Caires, Luís (ed.) et al., Automata, languages and programming. 32nd international colloquium, ICALP 2005, Lisbon, Portugal, July 11–15, 2005. Proceedings. Berlin: Springer (ISBN 3-540-27580-0/pbk). Lecture Notes in Computer Science 3580, 730-741 (2005).
MSC:  68Q85 68Q60
PDFBibTeX XMLCite
Full Text: DOI

Case base management for analog circuits diagnosis improvement. (English) Zbl 1045.68871

Ashley, Kevin D. (ed.) et al., Case-based reasoning research and development. 5th international conference on case-based reasoning, ICCBR 2003, Trondheim, Norway, June 23–26, 2003. Proceedings. Berlin: Springer (ISBN 3-540-40433-3/pbk). Lect. Notes Comput. Sci. 2689, 437-451 (2003).
MSC:  68U99 68T35
PDFBibTeX XMLCite
Full Text: Link

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software