Record · corpus.blog/posts/01a0b5e5-f24a-72b7-b2d5-dc86180091c9
Well-Behaved (Co)algebraic Semantics of Regular Expressions in Dafny
dafny.org · published 12 January 2024
A record is what was published and who pointed at it. The text of the post is not held here: read it at the source, or at its Wayback capture.
0blogs citing
- First cited
- —
- Most recent
- —
- Rank this month
- not ranked
- External links
- 21
- Words captured
- 3,584
Cited by
No blog we hold has cited this post yet.
Links from this post
Link
Host
en.wikipedia.org
en.wikipedia.org
en.wikipedia.org
en.wikipedia.org
en.wikipedia.org
homepages.inf.ed.ac.uk
en.wikipedia.org
leino.science
leino.science
en.wikipedia.org
en.wikipedia.org
en.wikipedia.org
en.wikipedia.org
leino.science
pdf.sciencedirectassets.com
researchgate.net
link.springer.com
alexandrasilva.org