The following pages link to Kim Solin (Q549682):
Displayed 14 items.
- Deductive reasoning in the structuralist approach (Q383572) (← links)
- Normal forms in total correctness for while programs and action systems (Q549683) (← links)
- Dual choice and iteration in an abstract algebra of action (Q694489) (← links)
- Enabledness and termination in refinement algebra (Q923890) (← links)
- A sketch of a dynamic epistemic semiring (Q964506) (← links)
- Refinement algebra for probabilistic programs (Q2268474) (← links)
- Towards an Algebra for Real-Time Programs (Q2915135) (← links)
- Encoding and Decoding in Refinement Algebra (Q3460626) (← links)
- Reactive Probabilistic Programs and Refinement Algebra (Q3498423) (← links)
- A Sketch of a Dynamic Epistemic Semiring (Q3612671) (← links)
- Refinement Algebra with Operators for Enabledness and Termination (Q3618834) (← links)
- A While Program Normal Form Theorem in Total Correctness (Q3651525) (← links)
- Omega Algebra, Demonic Refinement Algebra and Commands (Q5459184) (← links)
- On Two Dually Nondeterministic Refinement Algebras (Q5459194) (← links)