Authors

E. Hoogland
M.J. Marx

Date (dd-mm-yyyy)

2000

Title

Interpolation in guarded fragments

Publication Year

2000

Publisher

AmsterdamInstitute for Logic Language and Computation

Document type

Working paper

Permalink

https://hdl.handle.net/11245/1.177559