Ho1 | M.Hopkins: The Algebraic Approach I: The Algebraization of the Chomsky Hierarchy |
Proceedings 10th RelMiCS/5th AKA 2008, Springer LNCS 4988, 155-172 | |
Ho2 | M.Hopkins: The Algebraic Approach II: The Algebraization of the Chomsky Hierarchy |
Proceedings 10th RelMiCS/5th AKA 2008, Springer LNCS 4988, 173-190 | |
GrHeKo | N.B.Grathwohl, F.Henglein, D.Kozen: Infinitary Axiomatization |
of the Equational Theory of Context-Free Languages | |
Proceedings FICS 2013 (fics2013.univ-mlv.fr/papers.html, proceedings) | |
Ba | R.Backhouse: Regular Algebra Applied to Language Problems. |
Journal of Logic and Algebraic Programming, vol 66,2, p.71-111, 2006 | |
(www.cs.nott.ac.uk/~rcb/MPC/RegAlgLangProblems.ps.gz) | |
KM13 | D.Kozen, K.Mamouras: Kleene Algebra with Equations. 2014 |
BeCl | J.-P.Berrnardy, K.Claessen: Efficient Divide-and -Conquer Parsing |
of Practical Context-Free Languages (Long Version), 2013 | |
(www.se.chalmers.se/bernardy/PP.pdf) | |
Lee02 | L.Lee: Context-free grammar parsing requires fast Boolean matrix multiplication. |
Journal of the ACM 49, vol 1, p.1-15, 2002. | |
Cl13 | A.Clark: The syntactic concept lattice: Another algebraic theory of the context-free languages? |
Journal of Logic and Computation, vol 24(2), 2014 |