Motivation and basic notions Combination Problems: Some Generalities Nelson-Oppen, Shostak: A Family Picture Combination Problems in Equational Reasoning Combining Decision Procedures

First Page		Document Content
Date: 2005-12-12 09:45:15		Motivation and basic notions Combination Problems: Some Generalities Nelson-Oppen, Shostak: A Family Picture Combination Problems in Equational Reasoning Combining Decision Procedures Add to Reading List Source URL: www.loria.fr Download Document from Source Website File Size: 627,60 KB Share Document on Facebook