Subject
Computational Theory and Mathematics,Logic,Theoretical Computer Science,Software
Reference39 articles.
1. A minimum-distance error-correcting parser for context-free languages;Aho;SIAM J. Comput.,1972
2. The Theory of Parsing, Translation and Compiling;Aho,1972
3. R.C. Backhouse, Closure algorithms and the star-height problem of regular languages, Ph.D. Thesis, University of London, 1975.
4. Safety of abstract interpretations for free, via logical relations and Galois connections;Backhouse;Sci. Comput. Programming,2004
5. Regular algebra applied to path-finding problems;Backhouse;J. Inst. Math. Appl.,1975
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. On difunctions;Journal of Logical and Algebraic Methods in Programming;2023-08
2. Components and acyclicity of graphs. An exercise in combining precision with concision;Journal of Logical and Algebraic Methods in Programming;2022-01
3. Self-certifying Railroad Diagrams;Lecture Notes in Computer Science;2019
4. An Analysis of Repeated Graph Search;Lecture Notes in Computer Science;2019
5. Distances, Norms and Error Propagation in Idempotent Semirings;Relational and Algebraic Methods in Computer Science;2018