scientific article; zbMATH DE number 7774242

DOI10.4230/LIPICS.CALCO.2021.16MaRDI QIDQ6061676zbMATH OpenFDO

Authors Clemens Grabmayer

Publication date 8 December 2023

Full work available at URL https://arxiv.org/abs/2108.13104

zbMATH Keywords

bisimilaritycoinductionprocess theoryproof theoryregular expressions

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Cited in

(5)

• Proof Pearl: regular expression equivalence and relation algebra
• A Compact Proof of Decidability for Regular Expression Equivalence
• scientific article; zbMATH DE number 7315073 (Why is no real title available?)
• A Coinductive Reformulation of Milner's Proof System for Regular Expressions Modulo Bisimilarity
• From compactifying lambda-letrec terms to recognizing regular-expression processes (extended abstract and literature)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6061676)