scientific article; zbMATH DE number 7774242

DOI10.4230/lipics.calco.2021.16arXiv2108.13104MaRDI QIDQ6061676

Clemens Grabmayer

Publication date: 8 December 2023

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

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

regular expressionsproof theorycoinductionbisimilarityprocess theory

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Related Items (1)

A Coinductive Reformulation of Milner's Proof System for Regular Expressions Modulo Bisimilarity

This page was built for publication: