Original language | English |
---|---|
Title of host publication | Proceedings of AMAST 1998, AMAST'98 Algebraic Methodology and Software Technology 4-8 January 1999, Manaus, Amazonia, Brazil. |
Publication status | Published - 1999 |
Interpolation in (fibered) modal logic.
M.J. Marx
Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review