A simple proof of a completeness result for leads-to, in the UNITY logic: Information processing letters 41 (1) (21 January 1992) 35-38

✍ Scribed by Jan Pachl

• Book ID: 107766025
• Publisher: Elsevier Science
• Year: 1992
• Tongue: English
• Weight: 49 KB
• Volume: 44
• Category: Article
• ISSN: 0020-0190
• DOI: 10.1016/0020-0190(92)90059-5