scientific article; zbMATH DE number 7450010
From MaRDI portal
Publication:5018493
Publication date: 20 December 2021
Full work available at URL: https://arxiv.org/abs/1902.02010
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Cites Work
- Unnamed Item
- Unnamed Item
- Partial derivatives of regular expressions and finite automaton constructions
- A complete inference system for a class of regular behaviours
- Maximal sharing in the Lambda calculus with letrec
- A characterization of regular expressions under bisimulation
- An Equational Axiomatization of Bisimulation over Regular Expressions
- Axiomatizations for the perpetual loop in process algebra
- Proceedings 7th International Workshop on Computing with Terms and Graphs
- Two Complete Axiom Systems for the Algebra of Regular Events
This page was built for publication:
