Extending Resource-Aware Logics

By Norihiro Kamide

This book introduces some extensions of resource- aware logics, and shows some fundamental (e.g., cut- elimination and completeness) theorems for these extensions. By resource-aware logics, we mean... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 3844324283
• ISBN13: 9783844324280
• Release Date: March 2011
• Publisher: LAP Lambert Academic Publishing
• Length: 268 Pages
• Weight: 0.87 lbs.
• Dimensions: 0.6" x 6.0" x 9.0"