Upper Bounds for Proof-Search in a Sequent Calculus for Relational Equations

✍ Scribed by Wolfgang Schönfeld

• Publisher: John Wiley and Sons
• Year: 1982
• Tongue: English
• Weight: 454 KB
• Volume: 28
• Category: Article
• ISSN: 0044-3050
• DOI: 10.1002/malq.19820281408