Regular algebra applied to language problems (Q817577): Difference between revisions

@@ Property / DOI @@
-.1016/j.jlap.2005.04.008
@@ Property / DOI: 10.1016/j.jlap.2005.04.008 / rank @@
-Normal rank
@@ Property / author @@
-Roland C. Backhouse
@@ Property / author: Roland C. Backhouse / rank @@
-Normal rank
@@ Property / author @@
+Roland C. Backhouse
@@ Property / author: Roland C. Backhouse / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Algorithm 97
@@ Property / describes a project that uses: Algorithm 97 / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.jlap.2005.04.008
+Normal rank
@@ Property / OpenAlex ID @@
+W2078433343
@@ Property / OpenAlex ID: W2078433343 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q114851565
@@ Property / Wikidata QID: Q114851565 / rank @@
+Normal rank
@@ Property / cites work @@
+A Minimum Distance Error-Correcting Parser for Context-Free Languages
+Normal rank
@@ Property / cites work @@
+Safety of abstract interpretations for free, via logical relations and Galois connections
+Normal rank
@@ Property / cites work @@
+Regular Algebra Applied to Path-finding Problems
@@ Property / cites work: Regular Algebra Applied to Path-finding Problems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4124349
@@ Property / cites work: Q4124349 / rank @@
+Normal rank
@@ Property / cites work @@
+Systematic design of program transformation frameworks by abstract interpretation
+Normal rank
@@ Property / cites work @@
+Q5639639
@@ Property / cites work: Q5639639 / rank @@
+Normal rank
@@ Property / cites work @@
+A note on two problems in connexion with graphs
@@ Property / cites work: A note on two problems in connexion with graphs / rank @@
+Normal rank
@@ Property / cites work @@
+Non-Commutative Residuated Lattices
@@ Property / cites work: Non-Commutative Residuated Lattices / rank @@
+Normal rank
@@ Property / cites work @@
+Q4692885
@@ Property / cites work: Q4692885 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4692630
@@ Property / cites work: Q4692630 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3898534
@@ Property / cites work: Q3898534 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3763567
@@ Property / cites work: Q3763567 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2767980
@@ Property / cites work: Q2767980 / rank @@
+Normal rank
@@ Property / cites work @@
+Pair algebra and its application to automata theory
+Normal rank
@@ Property / cites work @@
+Fast Pattern Matching in Strings
@@ Property / cites work: Fast Pattern Matching in Strings / rank @@
+Normal rank
@@ Property / cites work @@
+A generalization of Dijkstra's algorithm
@@ Property / cites work: A generalization of Dijkstra's algorithm / rank @@
+Normal rank
@@ Property / cites work @@
+A completeness theorem for Kleene algebras and the algebra of regular events
+Normal rank
@@ Property / cites work @@
+The Mathematics of Sentence Structure
@@ Property / cites work: The Mathematics of Sentence Structure / rank @@
+Normal rank
@@ Property / cites work @@
+Some Galois connections in elementary number theory
+Normal rank
@@ Property / cites work @@
+Fixed point theorems and semantics: A folk tale
@@ Property / cites work: Fixed point theorems and semantics: A folk tale / rank @@
+Normal rank
@@ Property / cites work @@
+Q3727946
@@ Property / cites work: Q3727946 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3758891
@@ Property / cites work: Q3758891 / rank @@
+Normal rank
@@ Property / cites work @@
+Galois Connexions
@@ Property / cites work: Galois Connexions / rank @@
+Normal rank
@@ Property / cites work @@
+Q3267904
@@ Property / cites work: Q3267904 / rank @@
+Normal rank
@@ Property / cites work @@
+Beiträge zur Filtertheorie. II
@@ Property / cites work: Beiträge zur Filtertheorie. II / rank @@
+Normal rank
@@ Property / cites work @@
+Incremental execution of transformation specifications
+Normal rank
@@ Property / cites work @@
+A Unified Approach to Path Problems
@@ Property / cites work: A Unified Approach to Path Problems / rank @@
+Normal rank
@@ Property / cites work @@
+A calculational approach to reactive systems
@@ Property / cites work: A calculational approach to reactive systems / rank @@
+Normal rank
@@ Property / cites work @@
+A Shortest Path Algorithm for Edge-Sparse Graphs
@@ Property / cites work: A Shortest Path Algorithm for Edge-Sparse Graphs / rank @@
+Normal rank
@@ Property / cites work @@
+A Theorem on Boolean Matrices
@@ Property / cites work: A Theorem on Boolean Matrices / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.JLAP.2005.04.008
@@ Property / DOI: 10.1016/J.JLAP.2005.04.008 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:817577