Computational Aspects of Linear Logic (Foundations of Computing Series)
Publisher: Mit Pr
Published: July 1998
Language: eng
Format: Hardcover
Number of pages: 250
ISBN-13: 9780262121958
Subjects: Computer architecture & logic design; Mathematical theory of computation; Programming languages; Computer Logic; Data processing; Logic, Symbolic and mathematical; Proof theory; Computer Books: General