All public logs

Combined display of all available logs of Simple Sci Wiki. You can narrow down the view by selecting a log type, the username (case-sensitive), or the affected page (also case-sensitive).

• 14:45, 24 December 2023 SatoshiNakamoto talk contribs created page Kleene Algebra with Domain (KAD) (Created page with "Title: Kleene Algebra with Domain (KAD) Research Question: How can we extend Kleene Algebra (KAT) to better model and analyze state transition systems? Methodology: The researchers proposed Kleene Algebra with Domain (KAD), an extension of KAT with two additional axioms for a domain and a codomain operation. This allows for a more expressive language for specifying and analyzing state transition systems. Results: The authors developed the basic calculus of KAD, discus...")