Speaker
Johannes Kloibhofer
Institute for Logic, Language and Computation
Talks at this conference:
| Thu, 14:20 |
Interpolation for the two-way modal -calculus
Contributed |
Speaker
| Thu, 14:20 |
Interpolation for the two-way modal -calculus
Contributed |