Regular algebra applied to language problems
From MaRDI portal
Recommendations
Cites work
- scientific article; zbMATH DE number 3150488 (Why is no real title available?)
- scientific article; zbMATH DE number 3959364 (Why is no real title available?)
- scientific article; zbMATH DE number 4008457 (Why is no real title available?)
- scientific article; zbMATH DE number 4020448 (Why is no real title available?)
- scientific article; zbMATH DE number 3706504 (Why is no real title available?)
- scientific article; zbMATH DE number 3550201 (Why is no real title available?)
- scientific article; zbMATH DE number 194642 (Why is no real title available?)
- scientific article; zbMATH DE number 194916 (Why is no real title available?)
- scientific article; zbMATH DE number 3366846 (Why is no real title available?)
- A Minimum Distance Error-Correcting Parser for Context-Free Languages
- A Shortest Path Algorithm for Edge-Sparse Graphs
- A Theorem on Boolean Matrices
- A Unified Approach to Path Problems
- A calculational approach to reactive systems
- A completeness theorem for Kleene algebras and the algebra of regular events
- A generalization of Dijkstra's algorithm
- A note on two problems in connexion with graphs
- Beiträge zur Filtertheorie. II
- Fast Pattern Matching in Strings
- Fixed point theorems and semantics: A folk tale
- Galois Connexions
- Incremental execution of transformation specifications
- Non-Commutative Residuated Lattices
- Pair algebra and its application to automata theory
- Regular Algebra Applied to Path-finding Problems
- Safety of abstract interpretations for free, via logical relations and Galois connections
- Some Galois connections in elementary number theory
- Systematic design of program transformation frameworks by abstract interpretation
- The Mathematics of Sentence Structure
- Unifying theories for logic programming
Cited in
(12)- Regular languages and their generating functions: The inverse problem
- Factor theory and the unity of opposites
- Recursive functions of context free languages
- INDUCTIVE COMPOSITION OF NUMBERS WITH MAXIMUM, MINIMUM, AND ADDITION: A New Theory for Program Execution-Time Analysis
- Solving Linear Equations in *-continuous Action Lattices
- scientific article; zbMATH DE number 1134630 (Why is no real title available?)
- The Capacity-C Torch Problem
- Algebraic Methodology and Software Technology
- An algebraic framework for multi-objective and robust variants of path problems
- Components and acyclicity of graphs. An exercise in combining precision with concision
- scientific article; zbMATH DE number 1692936 (Why is no real title available?)
- On difunctions
This page was built for publication: Regular algebra applied to language problems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q817577)
