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]
Identifier
- DOI: 10.2307/420966
- RWTH PUBLICATIONS: RWTH-CONV-048675