Context-free languages via coalgebraic trace semantics (2005)

Cached

Download Links

by Ichiro Hasuo , Bart Jacobs
Venue:International Conference on Algebra and Coalgebra in Computer Science (CALCO’05), volume 3629 of Lect. Notes Comp. Sci
Citations:12 - 8 self

Document Versions

Context-free languages via coalgebraic trace semantics –Ichiro Hasuo, Bart Jacobs — 2005 — International Conference on Algebra and Coalgebra in Computer Science (CALCO’05), volume 3629 of Lect. Notes Comp. Sci