Pages that link to "Item:Q1238415"
From MaRDI portal
The following pages link to Algebraic structures for transitive closure (Q1238415):
Displayed 24 items.
- Algebraic program analysis (Q832153) (← links)
- Universal algorithms for solving the matrix Bellman equations over semirings (Q889976) (← links)
- A systolic array algorithm for the algebraic path problem (shortest paths; matrix inversion) (Q1057068) (← links)
- Allowable processing orders in the accelerated cascade algorithm (Q1072941) (← links)
- An efficient algorithm for the transitive closure and a linear worst-case complexity result for a class of sparse graphs (Q1075771) (← links)
- Transitive closure and related semiring properties via eliminants (Q1089083) (← links)
- A unified framework for disambiguating finite transductions (Q1115635) (← links)
- Temporal constraint networks (Q1182161) (← links)
- Algebraic structures for transitive closure (Q1238415) (← links)
- Periodic sets of integers (Q1342238) (← links)
- The equational logic of fixed points (Q1391734) (← links)
- Universal numerical algorithms and their software implementation (Q1592078) (← links)
- Inductive semimodules and the vector modules over them. (Q2391239) (← links)
- Algorithms for non-linear and stochastic resource constrained shortest path (Q2417959) (← links)
- Idempotent and tropical mathematics; complexity of algorithms and interval analysis (Q2629456) (← links)
- Metabolic isotopomer labeling systems. III: Path tracing (Q2637572) (← links)
- kProbLog: An Algebraic Prolog for Kernel Programming (Q2827476) (← links)
- THE VALIDITY OF WEIGHTED AUTOMATA (Q2842025) (← links)
- Polynomial Functors Constrained by Regular Expressions (Q2941172) (← links)
- Uniformizing Rational Relations for Natural Language Applications Using Weighted Determinization (Q3073636) (← links)
- ALGORITHMS FOR THE JOIN AND AUTO-INTERSECTION OF MULTI-TAPE WEIGHTED FINITE-STATE MACHINES (Q3526984) (← links)
- ON THE COMPUTATION OF THE RELATIVE ENTROPY OF PROBABILISTIC AUTOMATA (Q3532153) (← links)
- (Q4741699) (← links)
- Efficient algorithms for solving systems of linear equations and path problems (Q5096775) (← links)