๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

[Lecture Notes in Computer Science] Theorem Proving in Higher Order Logics Volume 2152 || Representing Hierarchical Automata in Interactive Theorem Provers

โœ Scribed by Boulton, Richard J.; Jackson, Paul B.

Book ID
115514613
Publisher
Springer Berlin Heidelberg
Year
2001
Weight
235 KB
Category
Article
ISBN
354042525X

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

[Lecture Notes in Computer Science] Theo
[Lecture Notes in Computer Science] Theorem Proving in Higher Order Logics Volume 5674 || Packaging Mathematical Structures
โœ Berghofer, Stefan; Nipkow, Tobias; Urban, Christian; Wenzel, Makarius ๐Ÿ“‚ Article ๐Ÿ“… 2009 ๐Ÿ› Springer Berlin Heidelberg ๐ŸŒ German โš– 267 KB

This Book Constitutes The Refereed Proceedings Of The 22nd International Conference On Theorem Proving In Higher Order Logics, Tphols 200, Held In Munich, Germany, In August 2009. The 26 Revised Full Papers Presented Together With 1 Proof Pearl, 4 Tool Presentations, And 3 Invited Papers Were Carefu

[Lecture Notes in Computer Science] Theo
[Lecture Notes in Computer Science] Theorem Proving in Higher Order Logics Volume 5674 || VCC: A Practical System for Verifying Concurrent C
โœ Berghofer, Stefan; Nipkow, Tobias; Urban, Christian; Wenzel, Makarius ๐Ÿ“‚ Article ๐Ÿ“… 2009 ๐Ÿ› Springer Berlin Heidelberg ๐ŸŒ German โš– 298 KB

This Book Constitutes The Refereed Proceedings Of The 22nd International Conference On Theorem Proving In Higher Order Logics, Tphols 200, Held In Munich, Germany, In August 2009. The 26 Revised Full Papers Presented Together With 1 Proof Pearl, 4 Tool Presentations, And 3 Invited Papers Were Carefu