scientific article; zbMATH DE number 7456061
From MaRDI portal
Publication:5021231
Publication date: 12 January 2022
Full work available at URL: https://arxiv.org/abs/2102.02990
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Cites Work
- Partial derivatives of regular expressions and finite automaton constructions
- A complete inference system for a class of regular behaviours
- The algebra of communicating processes with empty process
- Maximal sharing in the Lambda calculus with letrec
- A characterization of regular expressions under bisimulation
- Proceedings Tenth International Workshop on Computing with Terms and Graphs
- A Complete Proof System for 1-Free Regular Expressions Modulo Bisimilarity
