Constructive Interpolation in Hybrid Logic (2002)
Cached
Download Links
- [mashup2.science.uva.nl]
- [www.illc.uva.nl]
- [www.illc.uva.nl]
- [www.illc.uva.nl]
- [www.science.uva.nl]
- [www.illc.uva.nl]
- [www.loria.fr]
- DBLP
Other Repositories/Bibliography
by
Patrick Blackburn
,
Maarten Marx
Venue: | Journal of Symbolic Logic |
Citations: | 7 - 2 self |