Regular algebra applied to language problems
type: Item
instance of: scholarly article
title: Regular algebra applied to language problems
zbMATH Open document ID: 1086.68069
published in: The Journal of Logic and Algebraic Programming
publication date: 2006-03-16T00:00:00Z
Mathematics Subject Classification ID: 68Q45
zbMATH DE Number: 5012943
zbMATH Keywords: Galois connection
zbMATH Keywords: fixed point
zbMATH Keywords: programming methodology
zbMATH Keywords: problem generalisation
zbMATH Keywords: factor theory
zbMATH Keywords: factor matrix
zbMATH Keywords: path-finding
zbMATH Keywords: language inclusion
author: Roland C. Backhouse
describes a project that uses: Algorithm 97
MaRDI profile type: Publication
full work available at URL: j.jlap.2005.04.008
OpenAlex ID: W2078433343
Wikidata QID: Q114851565
cites work: A Minimum Distance Error-Correcting Parser for Context-Free Languages
cites work: Safety of abstract interpretations for free, via logical relations and Galois connections
cites work: Regular Algebra Applied to Path-finding Problems
cites work: Q4124349
cites work: Systematic design of program transformation frameworks by abstract interpretation
cites work: Q5639639
cites work: A note on two problems in connexion with graphs
cites work: Non-Commutative Residuated Lattices
cites work: Q4692885
cites work: Q4692630
cites work: Q3898534
cites work: Q3763567
cites work: Unifying theories for logic programming
cites work: Pair algebra and its application to automata theory
cites work: Fast Pattern Matching in Strings
cites work: A generalization of Dijkstra's algorithm
cites work: A completeness theorem for Kleene algebras and the algebra of regular events
cites work: The Mathematics of Sentence Structure
cites work: Some Galois connections in elementary number theory
cites work: Fixed point theorems and semantics: A folk tale
cites work: Q3727946
cites work: Q3758891
cites work: Galois Connexions
cites work: Q3267904
cites work: Beiträge zur Filtertheorie. II
cites work: Incremental execution of transformation specifications
cites work: A Unified Approach to Path Problems
cites work: A calculational approach to reactive systems
cites work: A Shortest Path Algorithm for Edge-Sparse Graphs
cites work: A Theorem on Boolean Matrices
DOI: 10.1016/J.JLAP.2005.04.008
description: scientific article; zbMATH DE number 5012943