Proof-Search in Intuitionistic Logic with Equality, or Back to Simultaneous RigidE-Unification

✍ Scribed by Andrei Voronkov

• Book ID: 110433385
• Publisher: Springer Netherlands
• Year: 2003
• Tongue: English
• Weight: 186 KB
• Volume: 30
• Category: Article
• ISSN: 0168-7433
• DOI: 10.1023/a:1023260415982