An interpolation theorem

Otto, Martin

Champaign, Ill : Association for Symbolic Logic (2000)
Journal Article

In: Bulletin of symbolic logic
Volume: 6
Issue: 4
Page(s)/Article-Nr.: 447-462

Institutions

• Mathematical Fundamentals of Computer Science (Logic and Complexity) Teaching and Research Area [117220]
• Department of Mathematics [110000]