On Fixed Point Equations over Commutative Semirings
From MaRDI portal
Publication:3590943
DOI10.1007/978-3-540-70918-3_26zbMATH Open1186.68307OpenAlexW2168377292MaRDI QIDQ3590943FDOQ3590943
Authors: Javier Esparza, Stefan Kiefer, Michael Luttenberger 
Publication date: 3 September 2007
Published in: STACS 2007 (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-70918-3_26
Recommendations
Specification and verification (program logics, model checking, etc.) (68Q60) Semirings (16Y60) Abstract data types; algebraic specification (68Q65)
Cited In (17)
- On axioms for commutative regular equations without addition.
- Interprocedural Dataflow Analysis over Weight Domains with Infinite Descending Chains
- Newton’s Method for ω-Continuous Semirings
- Solving fixed point equations over complete semirings
- Space-efficient scheduling of stochastically generated tasks
- An Extension of Newton’s Method to ω-Continuous Semirings
- Derivation tree analysis for accelerated fixed-point computation
- Equations on semidirect products of commutative semigroups
- Title not available (Why is that?)
- Derivation Tree Analysis for Accelerated Fixed-Point Computation
- Axiomatizing rational power series over natural numbers
- Convergence of Newton's method over commutative semirings
- Title not available (Why is that?)
- Solving non-linear Horn clauses using a linear Horn clause solver
- Efficient Computation of Throughput Values of Context-Free Languages
- Tree dimension in verification of constrained Horn clauses
- SOME FIX-POINT THEOREMS FOR THE COMMUTATIVE ITERATION SEMIGROUPS
This page was built for publication: On Fixed Point Equations over Commutative Semirings
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3590943)
