Sciweavers

SYNTHESE
2008
88views more  SYNTHESE 2008»
14 years 11 days ago
Interpolation in computing science: the semantics of modularization
The Interpolation Theorem, first formulated and proved by W. Craig fifty years ago for predicate logic, has been extended to many other logical frameworks and is being applied in s...
Gerard R. Renardel de Lavalette