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):
Displayed 2 items.
The following pages link to A Coinductive Reformulation of Milner's Proof System for Regular Expressions Modulo Bisimilarity (Q6135767):
Displayed 2 items.