January 1, 2009· Lecture Notes in Computer Science
book-chapter
Nested Proof Compilation and Proof Checking in Universal Pattern Logic
Authors:Wuming PanBing Guo
Abstract
No abstract metadata is available for this record.
Community
0 commentsUse Connect Wallet in the navigation
No discussion yet
Be the first to share a question or observation.