Constructive interpolation in hybrid logic / Patrick Blackburn, Maarten Marx
mainEntity
Constructive interpolation in hybrid logic / Patrick Blackburn, Maarten Marx
author
contributor
inLanguage
mainEntityOfPage
name
Constructive interpolation in hybrid logic
numberOfPages
publication
sameAs
label
Constructive interpolation in hybrid logic / Patrick Blackburn, Maarten Marx