Pages that link to "Item:Q3608779"
From MaRDI portal
The following pages link to Automated Reasoning in Kleene Algebra (Q3608779):
Displaying 29 items.
- An algebraic approach to computations with progress (Q299188) (← links)
- A relation-algebraic approach to the ``Hoare logic'' of functional dependencies (Q406457) (← links)
- Determination of \(\alpha \)-resolution in lattice-valued first-order logic \(\mathrm{LF}(X)\) (Q545319) (← links)
- Fixing Zeno gaps (Q549197) (← links)
- Algebraic separation logic (Q549676) (← links)
- Normal forms in total correctness for while programs and action systems (Q549683) (← links)
- Algebraic notions of nontermination: Omega and divergence in idempotent semirings (Q604456) (← links)
- Internal axioms for domain semirings (Q627202) (← links)
- Dual choice and iteration in an abstract algebra of action (Q694489) (← links)
- Building program construction and verification tools from algebraic principles (Q736461) (← links)
- Normal design algebra (Q844885) (← links)
- Enabledness and termination in refinement algebra (Q923890) (← links)
- Algebraic neighbourhood logic (Q929966) (← links)
- A sketch of a dynamic epistemic semiring (Q964506) (← links)
- An algebra of hybrid systems (Q1001892) (← links)
- Automated verification of refinement laws (Q1037397) (← links)
- The TPTP problem library and associated infrastructure. From CNF to TH0, TPTP v6.4.0 (Q1694574) (← links)
- Dijkstra, Floyd and Warshall meet Kleene (Q1941863) (← links)
- Modal algebra and Petri nets (Q2340252) (← links)
- Extended transitive separation logic (Q2347905) (← links)
- Deciding Kleene algebra terms equivalence in Coq (Q2347910) (← links)
- Geographic wayfinders and space-time algebra (Q2423755) (← links)
- Deciding Regular Expressions (In-)Equivalence in Coq (Q2915138) (← links)
- Automated Reasoning for Hybrid Systems — Two Case Studies — (Q3498414) (← links)
- Non-termination in Idempotent Semirings (Q3498415) (← links)
- Knowledge and Games in Modal Semirings (Q3498424) (← links)
- Circulations, Fuzzy Relations and Semirings (Q3521984) (← links)
- Modal Semirings Revisited (Q3521996) (← links)
- Denotation by Transformation (Q5504595) (← links)
