Predicate transformer semantics: Difference between revisions

Content deleted Content added
No edit summary
Line 37:
[[Category:Theoretical computer science]]
 
[[bg:Предикатно-трансформативна семантика]]
[[de:Wp-Kalkül]]
[[es:Semántica de transformación de predicados]]