Sciweavers

SYNTHESE
2008
88views more  SYNTHESE 2008»
14 years 12 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