122
click to vote
BIRTHDAY
2005
Springer
15 years 8 months ago
2005
Springer
This paper is a guided tour through the theory of fibring as a general mechanism for combining logics. We present the main ideas, constructions and difficulties of fibring, from ...