Revision as of 18:38, 3 December 2009 edit PJTraill (talk \| contribs) Extended confirmed users 1,977 edits m More appropriate link for "predicate". ← Previous edit		Revision as of 14:54, 16 February 2010 edit undo Luckas-bot (talk \| contribs) 929,662 edits m robot Adding: ru:Слабейшее предусловие Next edit →
Line 50: [[es:Semántica de transformación de predicados]] [[ja:述語変換意味論]] [[ru:Слабейшее предусловие]]

Predicate transformer semantics: Difference between revisions