Invertible infinitary calculus without loop rules for restricted FTL

✍ Scribed by R. Pliuškevičius

• Book ID: 106433606
• Publisher: Springer US
• Year: 2005
• Tongue: English
• Weight: 328 KB
• Volume: 126
• Category: Article
• ISSN: 1573-8795
• DOI: 10.1007/s10958-005-0109-z