Associative substitution

#	Item
1	Source Code Rejuvenation is not Refactoring Peter Pirkelbauer, Damian Dechev, and Bjarne Stroustrup Department of Computer Science and Engineering Texas A&M University College Station, TX {peter.pirkelbauer, d Add to Reading List Source URL: pirkelbauer.com Language: English - Date: 2011-11-03 23:35:47 C++ Iterator C++11 Associative containers Code refactoring Generic programming Concepts Initialization Substitution failure is not an error Typename Template Sequence container
2	A Concise Summary of the Event-B mathematical toolkit 1 Each construct will be given in its presentation form, as displayed in the Rodin toolkit, followed by the ASCII form that is used for input to Rodin. Add to Reading List Source URL: wiki.event-b.org Language: English - Date: 2014-01-23 06:18:08 Mathematics Mathematical logic Logic Automated theorem proving Logic programming Set theory Mathematical notation Set-builder notation Substitution Universal quantification FO Associative property
3	Organometallic Study Meeting #[removed]K.Oisaki Chapter 5. Ligand Substitution Reactions 5.1 Introdution Add to Reading List Source URL: www.f.u-tokyo.ac.jp Language: English - Date: 2013-04-08 09:18:24 Ligand Trans effect Coordination complex Octahedral molecular geometry Dissociative substitution Chemistry Coordination chemistry Associative substitution