BIRTHDAY
2005
Springer
15 years 3 months ago
2005
Springer
This paper addresses the question of factoring a logic into families of (generally simpler) components, estimating the top– down perspective, splitting, versus the bottom–up, s...