Algebra and Coalgebra in Computer Science
From MaRDI portal
Publication:5492821
DOI10.1007/11548133zbMath1151.68028OpenAlexW249899439MaRDI QIDQ5492821
Publication date: 20 October 2006
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11548133
Related Items
A Computational Interpretation of Context-Free Expressions ⋮ Derivatives and partial derivatives for regular shuffle expressions ⋮ A Coinductive Reformulation of Milner's Proof System for Regular Expressions Modulo Bisimilarity ⋮ Proving language inclusion and equivalence by coinduction ⋮ Translating regular expression matching into transducers ⋮ Partial Derivatives for Context-Free Languages ⋮ Derivatives for Regular Shuffle Expressions ⋮ Derivatives for Enhanced Regular Expressions
This page was built for publication: Algebra and Coalgebra in Computer Science
