Pages that link to "Item:Q6135767"
From MaRDI portal
The following pages link to A Coinductive Reformulation of Milner's Proof System for Regular Expressions Modulo Bisimilarity (Q6135767):
Displaying 2 items.
- A Coinductive Reformulation of Milner's Proof System for Regular Expressions Modulo Bisimilarity (Q6135767) (← links)
- Milner's proof system for regular expressions modulo bisimilarity is complete. Crystallization: near-collapsing process graph interpretations of regular expressions (Q6649466) (← links)
