A relative interpolation theorem for infinitary universal Horn logic and its applications

✍ Scribed by Alexej P. Pynko

• Publisher: Springer
• Year: 2006
• Tongue: English
• Weight: 385 KB
• Volume: 45
• Category: Article
• ISSN: 0933-5846
• DOI: 10.1007/s00153-005-0302-2