Pages that link to "Item:Q5089610"

The following pages link to Generalising KAT to Verify Weighted Computations (Q5089610):

Displaying 2 items.

• A semantics and a logic for \textit{Fuzzy Arden Syntax} (Q2099984) (← links)
• Kleene algebra of weighted programs with domain (Q6546613) (← links)