DMCA

Constructive interpolation in hybrid logic

by Patrick Blackburn , Maarten Marx
Venue:The Journal of Symbolic Logic
Citations:8 - 3 self